عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A96 .I57 1992
QA
76
.
9
.
A96
.
I57
1992
کتابخانه
محل استقرار
97876
زمستان۴۷
English
)20(
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
Berlin, New York
Springer-Verlag
1992
xv, 793 p. ; 24 cm
Lecture notes in computer science; 706
Includes bibliographical references and index
، Automatic theorem proving-- Congresses
، Logic, Symbolic and mathematical-- Congresses
QA
76
.
9
.
A96
.
I57
1992
AU
D. Kapur, ed
AU .kapeeD ,rupaK
TI
SE
SE Lecture notes in computer science, Lecture notes in artificial intelligence
International Conference on Automated Deduction )11th: 1992: Saratoga Springs, N.Y.(
02
