Normal view MARC view ISBD view

5th Conference on Automated Deduction Les Arcs

Conference on Automated Deduction (5 France 1980)

5th Conference on Automated Deduction Les Arcs ed. by Wolfgang Bibel and Robert Kowalski - Lecture Notes in Computer Science .

Dewey Class. No.: 005 /

Place hold
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)