Normal view MARC view ISBD view

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings /

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings / [electronic resource] : edited by Jacques Duparc, Thomas A. Henzinger. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - xiv, 600 p. : ill., digital ; 24 cm. - Lecture Notes in Computer Science, 4646 0302-9743 ; .

ISBN: 9783540749158 (electronic bk.)

Subjects--Topical Terms:
Computer logic--Congresses.

LC Class. No.: QA76.9.L63 / W67 2007

Dewey Class. No.: 004.015113

Print
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)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings /

Contact Us

Copyright ©The National University of Malaysia Library