Normal View ISBD View

CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings / edited by E. Borger, H. Kleine Buning, M. M. Richter - Berlin : Springer-Verlag, 1989 - VI, 399 p. ; 24 cm. - Lecture notes in computer science ; 385 .

ISBN: 354051659X

Subjects--Topical Terms:
Computer science--Mathematics--Congresses
Logic, Symbolic and mathematical--Congresses

LC Class. No.: QA76.9.M35W67