عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96,I57 1986
QA
76
.
9
.
A96
,
I57
1986
کتابخانه
محل استقرار
خریداری
02BL9961
انگلیسی
8th International Conference on Automated Deduction
edited by Jپ rg H. Siekmann
Berlin
Springer-Verlag
c1986
ix, 708 p. : ill. ; 25 cm
Lecture notes in computer science ; 230
Oxford, England, July 27-August 1, 1986 : proceedings
غیرمرجع
Includes bibliographies.
Automatic theorem proving -- Congresses
Logic, Symbolic and mathematical -- Congresses
QA
76
.
9
.
A96
,
I57
1986
AU
AU
Siekmann, Jپ rg H
Title: Eighth International Conference on Automated Deduction
International Conference on Automated Deduction )8th : 1986 : Oxford, England(
