Normal view MARC view ISBD view

5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980 /

5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel and R. Kowalski. - Berlin : Springer-Verlag, ©1980. - 1 online resource (vii, 385 pages) : illustrations - Conference on automated deduction ; 5 . - Lecture notes in computer science ; 87. Conference on automated deduction ; 5. .

With bibliogr. references and index.

ISBN: 9783540381402 3540381406

Source: 3540100091 00024965

Subjects--Topical Terms:
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.
Théorèmes--Démonstration automatique--Congrès.
Logique symbolique et mathématique--Congrès.
Automatic theorem proving
Logic, Symbolic and mathematical

Index Terms--Genre/Form:
Conference papers and proceedings
Congressen (vorm)

LC Class. No.: QA76.9.A96

Dewey Class. No.: 511.3

Place hold
Print
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
More searches

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