عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2741
QA
76
.
L28
Vol
.
2741
کتابخانه
محل استقرار
Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
19th : 2003 : Miami Beach, Fla.
Berlin
Springer-Verlag
c2003
xii, 502 p.: ill., tables
Lecture notes in computer science; 1472. Lecture notes in artificial intelligence
Includes bibliographies
ISBN: 3540405593
Franz Baader )ed.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
2741
NO
AU
AU Baader, Franz
TI
SE Lecture notes in computer science 2741
International Conference on Automated Deduction
