001.64 / L497 v.385
Lecture notes in computer science CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.) .- Berlin ;: New York :: Springer-Verlag,, 1989 .- vi, 399 p.. .- ( Lecture notes in computer science ;
Subject Headings:
Computer science;--Mathematics--Congresses.
Logic, Symbolic and mathematical;--Congresses.
Author Added Entry:
Börger, E.;
Kleine Büning, H.;
Richter, Michael M.,;
Copy Details:
Acc. No.: A106529, Full Call No.: 001.64 L497 v.385, Item type: Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Lecture notes in computer science CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.) .- Berlin ;: New York :: Springer-Verlag,, 1989 .- vi, 399 p.. .- ( Lecture notes in computer science ;
Subject Headings:
Computer science;--Mathematics--Congresses.
Logic, Symbolic and mathematical;--Congresses.
Author Added Entry:
Börger, E.;
Kleine Büning, H.;
Richter, Michael M.,;
Copy Details:
Acc. No.: A106529, Full Call No.: 001.64 L497 v.385, Item type: Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------