Normal view MARC view ISBD view

Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland /

Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland / Logic in computer science sponsored by The Computer Society's Technical Committee on Mathematical Foundations of Computing - Washington : IEEE Computer Society Press, 1988 - 436 p.

Subjects--Topical Terms:
Electronic data processing--Congresses
Electronic digital computers--Programming--Congresses
Logic, Symbolic and mathematical--Congresses

LC Class. No.: QA75.5 / S9574 1988

Place hold
Print
Cite
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland /

AIT

Asian Institute of Technology Library