8th international conference on automated deduction: Oxford, England, July 27-August 1, 1986 / Jorg H. Siekmann

Collectivité principale: International conference on automated deduction, 8, Oxford, England (1988) Auteur secondaire : Siekmann, Jorg H. (1941-) - Editeur scientifiqueType de document: CongrèsCollection: Lecture notes in computer science ; 230Langue: anglaisPays: AllemagneÉditeur: Berlin : Springer, 1986Description: 1 vol. (IX-708 p.) ; 24 cm ISBN: 3540167803 ; br. Bibliographie: Notes bibliogr.. Sujets MSC: 68T15 Computer science -- Artificial intelligence -- Theorem proving (deduction, resolution, etc.)
68-06 Computer science -- Proceedings, conferences, collections, etc
En-ligne: Springerlink
Location Call Number Status Date Due
Salle R 09739-01 / 68-06 SIE (Browse Shelf) Available

Notes bibliogr.

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |