CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Börger, E. (Egon), 1946-, Kleine Büning, H. (Hans), Richter, Michael M., 1938-
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1989.
Series:	Lecture notes in computer science ; 385.
Subjects:	Computer science. Logic design. Database management. Artificial intelligence. Combinatorial analysis.