COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Saved in:
Other Authors: | Mints, G., Martin-Lof, Per 1942- |
---|---|
Format: | Unknown |
Published: |
Berlin
Springer-Verlag
1990
|
Series: | Lecture notes in computer science
417 |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Handbook of logic in computer science logic and algebraic methods
Published: (2000) -
Fork algebras in algebra, logic and computer science
by: Frias, Marcelo Fabian
Published: (2002) -
Logic and algebra of specification
Published: (1993) -
A friendly introduction to mathematical logic
by: Leary, Christopher C. 1957-
Published: (2000) -
Logic for applications
by: Nerode, Anil 1932-
Published: (1993)