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 : proceedings / edited by W. Bibel and R. Kowalski. - Berlin ; New York : Springer-Verlag, 1980. - 385 p. - Lecture notes in computer science ; 87 .

Includes bibliogr. references.

ISBN: 0387100091 9780387100098

Subjects--Index Terms: კომპიტერული ტექნოლოგიები ავტომატური დედუქცია კონფერენციები

Universal Decimal Class. No.: 004(063)

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) CERL Thesaurus author search Author search in ORCID registry Wikipedia author search ავტორის ძიება ეროვნ. ბიბლიოთეკაში (NPLG) VIVO beta search for author საქპატენტი. გამოგონების ძიება ძიება თსუს ბიბლიოთეკებში

National Science Library of Georgia

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 :