عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 C65 1990
QA
76
.
9
.
A96
C65
1990
کتابخانه
محل استقرار
English
Computational logic : symposium proceedings, Brussels, November 13/14, 1990
Berlin, New York
Springer-Verlag
1990
ix, 211 p. : ill. ; 25 cm
ESPRIT basic research series
EUR, 74131 EN
Includes bibliographical references
J.W. Lloyd )ed.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
9
.
A96
C65
1990
CA
004/
.
01/51
TI
AU Lloyd, J. W.)John Wylie( 1947-
SE
