Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers /

Saved in:
Bibliographic Details
Author / Creator:Börger, Egon.
Imprint:Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 702
Subject:Artificial intelligence
Combinatorial analysis
Computer science
Computer software
Logic design
Format: E-Resource
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/7355121
Hidden Bibliographic Details
Other authors / contributors:Jäger, Gerhard.
Kleine Büning, H. (Hans)
Martini, Simone.
Richter, Michael M.
SpringerLink (Online service)
ISBN:9783540569923