عنوان
پدید آورنده
موضوع
رده
QA 76.63 .P74
QA
76
.
63
.
P74
کتابخانه
محل استقرار
Proof and computation
Berlin
Springer-Verlag
c1995
]iii[, 470 p.: ill
NATO ASI series. Series F: Computer and systems sciences; vol. 931
Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993
Published in cooperation with NATO Scientific Affairs Division
Includes bibliographies
ISBN 3540585818
edited by Helmut Schwichtenberg
1
Congresses ، Logic programming
Congresses ، Logic, Symbolic and mathematical
QA
76
.
63
.
P74
CA
004/
.
01/5113
TI
AU Schwichtenberg, Helmut, 1942-
CO North Atlantic Treaty Organization. Scientific Affairs Division
CO NATO Advanced Study Institute on Proof and Computation 1993: Marktoberdorf, Germany
SE
