 |
 |
Area della Ricerca di Padova
|
Symposium on automatic demonstration : held at Versailles, France, december 1968 ; edited by M. Laudet ... [et al.]
Normal View ISBD View
Authors:
Laudet, N.
Series:
Lecture notes in mathematics ;
. 125
Published by :
New York,
(Berlin : )
Physical details: 310 p. ; 26 cm.
Subject(s):
Automatic theorem proving--Congresses
Year : 1970
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Date Due |
|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | -LNM125 (Browse Shelf) | 1 | Available |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
Important links here.
There are no comments for this item.