Shelfclass_id |
3.A |
Sortkey |
CSL |
Authors |
Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter |
Title |
CSL '91: Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings |
Publisher |
Springer-Verlag |
Year |
1992 |
Languages |
eng |
Isbn |
038755789, 354055789 |
Series |
Lecture Notes in Computer Science |
Volume |
626 |
Issn |
0302-9743 |
Description |
X X viii, 428 p. diagr. 25 cm |
Record date |
20101020 |
Location |
New York |
Keywords |
Computer science, Congresses, Logic, Symbolic and mathematical, Mathematical logic, Conference proceedings, Logic Programs, Logical Semantics, Logical Inference |