عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1227
QA
76
.
L28
Vol
.
1227
کتابخانه
محل استقرار
Automated reasoning with analytic tableaux and related methods : Internaitonal Conference, TABLEAUX'97
1997: Pont-a-Mousson, France
Berlin
Springer-Verlag
c1997
xi, 372p.: ill., tables
Lecture notes in computer science; 7221 .Lecture notes in artificial intelligence
Includes bibliographies
ISBN 3540629203
Didier Galmiche )ed.(
1
Congresses ، Automatic theorem proving
Congresses ، Parallel processing )Electronic computers(
QA
76
.
L28
Vol
.
1227
CA
511
.
3
AU
AU Galmiche, Didier
TI
SE Lecture notes in computer science 1227
TABLEAUX
