CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings /

Saved in:
Bibliographic Details
Author / Creator:Börger, Egon.
Imprint:Berlin, Heidelberg : Springer Berlin Heidelberg, 1989.
Description:1 online resource (Online-Ressource.)
Language:English
Series:Lecture Notes in Computer Science ; 385
Lecture notes in computer science ; 385.
Subject:
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11075251
Hidden Bibliographic Details
Other authors / contributors:Kleine Büning, Hans, 1948-
Richter, Michael M.
ISBN:9783540516590
354051659X