7th international conference on automated deduction: Napa, California, May 14-16, 1984 / R. E. Shostak

Collectivité principale: International conference on automated deduction, 7, Napa, Californie (1984) Auteur secondaire : Shostak, Robert E. (1931-) - Editeur scientifiqueType de document: CongrèsCollection: Lecture notes in computer science ; 625Langue: anglaisPays: AllemagneÉditeur: Berlin : Springer, 1984Description: 1 vol. (vi-508 p.) ; 24 cm ISBN: 9780387960227 ; br. Bibliographie: Notes bibliogr.. Sujets MSC: 68-06 Computer science -- Proceedings, conferences, collections, etc En-ligne: Springerlink
Location Call Number Status Date Due
Salle R 10086-01 / 68-06 SHO (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 | |