Symposium on Automatic Demonstration; edited by M. Laudet [and others].

; Laudet, M., editor
Berlin, New York, Springer-Verlag, 1970.

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.125 Off-site
Request
American
WRLC Shared Collections Facility
No. 125-126 bound together. Held at WRLC Center; available for delivery
WRLC Shared Collections Facility
QA3 .L28 no.125-126 no.125-126 Off-site
Request
Catholic
Mullen Library stacks
QA3 .L47 no.125 Missing
George Mason
Fenwick stacks
QA3 .L4 no. 125 Available Request
Georgetown
RIGGS Storage
QA3 .L28 no. 125 Available Request
Other Authors Laudet, M.,
Subjects Automatic theorem proving -- Congresses.
Automatic theorem proving.
Théorèmes -- Démonstration automatique -- Congrès.
Series Lecture notes in mathematics (Springer-Verlag) ; 125.
Description 310 pages 26 cm.
Copyright Date 1970.
Notes English or French.
Includes bibliographical references.
Genre Conference proceedings.
Network Numbers (OCoLC)114071
(OCoLC)ocm00114071
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks