عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1761
QA
76
.
L28
Vol
.
1761
کتابخانه
محل استقرار
Automated deduction in classical and non-classical logics : selected papers
Berlin
Springer-Verlag
c2000
viii, ]299[ p.: ill., tables
Lecture notes in computer science; 1671. Lecture notes in artificial intelligence
Includes bibliographies
ISBN 3540671900
Ricardo Caferra, Gernot Salzer )eds.(
1
، Automatic theorem proving
، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
1761
TI
AU Caferra, Ricardo, 1945-
AU Salzer, Gernot, 1963-
SE Lecture notes in computer science 1761
