Symposium on Automatic Demonstration; edited by M. Laudet [and others]. (Lecture notes in mathematics, 125)

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

(Lecture notes in mathematics, 125)

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Symposium on Automatic Demonstration; edited by M. Laudet [and others].
Series Title: Lecture notes in mathematics, 125
Title Heading: Lecture notes in mathematics (Springer-Verlag) ; 125.
Author Heading: Symposium on Automatic Demonstration, Versailles, 1968.
Laudet, M.
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1970.
Publication Date (W3CDTF): 1970
Extent: 310 p. 26 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Automatic theorem proving -- Congresses.
LCC: QA3
DDC: 164
NDLC: H35
Note (General): English or French.
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: H35-22
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006228590
http://id.ndl.go.jp/bib/000006228590
LC Control Number: 79117526
https://lccn.loc.gov/79117526
Bibliographic Record Category (NDL): 211