Staff View: CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	Computers Electronic data processing Logic, Symbolic and mathematical Computer science Computers. Electronic data processing. Logic, Symbolic and mathematical. computer science logic CSL Conference papers and proceedings.
Tags:	Add Tag No Tags, Be the first to tag this record!

era
format	Book
genre
geographic
id	4bb40ea0-08fc-4bbc-8947-ede6dd7bd29c
isbn	0387502416 9780387502410 3540502416 9783540502418
issn
language	eng
physical	vi, 346 pages :illustrations ;25 cm.
publication	– publisher: SpringerVerlag dateOfPublication: ©1988
publishDate	©1988
subjects
title	CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).
topic	Computers Electronic data processing Logic, Symbolic and mathematical Computer science Computer science Computers. Electronic data processing. Logic, Symbolic and mathematical. computer science logic CSL Conference papers and proceedings.