Shelfclass_id |
3.A |
Sortkey |
CSL |
Authors |
Egon Börger, G Jäger, H Buning, S Martini, M Richter |
Title |
CSL '92: Computer Science Logic: 6th Workshop. Proceedings |
Publisher |
Springer-Verlag |
Year |
cop. 1993 |
Languages |
eng |
Isbn |
0387569928, 3540569928 |
Series |
Lecture Notes in Computer Science |
Volume |
702 |
Issn |
0302-9743 |
Description |
(Berlin) (New York) viii, 439 s. diagr. |
Record date |
20071029 |
Location |
New York |
Keywords |
Tuning machine, Logic programs, Semantics, Programming logic, Matematisk logik (Datalogi), Mathematical logic (Computer science), Konferenspublikationer, Conference proceedings |