001.64 / L497
Logic at Botik '89 : proceedings / edied by A.R. Meyer and M.A. Taitslin .- Berlin ;: New York :: Springer-Verlag,, c1989. .- x, 289 p. :. .- ( Lecture notes in computer science ; 363
ISBN: 0387512373
Subject Headings:
Computers;
Electronic data processing;--Congresses.
Logic, Symbolic and mathematical;--Congresses
Author Added Entry:
Meyer, Albert R., ed.;
Taitslin, M. A., ed.;
Copy Details:
Acc. No.: A105669, Full Call No.: 001.64 L497 V.363, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Logic at Botik '89 : proceedings / edied by A.R. Meyer and M.A. Taitslin .- Berlin ;: New York :: Springer-Verlag,, c1989. .- x, 289 p. :. .- ( Lecture notes in computer science ; 363
ISBN: 0387512373
Subject Headings:
Computers;
Electronic data processing;--Congresses.
Logic, Symbolic and mathematical;--Congresses
Author Added Entry:
Meyer, Albert R., ed.;
Taitslin, M. A., ed.;
Copy Details:
Acc. No.: A105669, Full Call No.: 001.64 L497 V.363, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------