عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.170
QA
76
.
L4
v
.
170
کتابخانه
محل استقرار
English
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
Berlin, New York
Springer-Verlag
1984
vi, 508 p. : ill. ; 24 cm
Lecture notes in computer science, 071
Includes bibliographies
edited by R.E. Shostak
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L4
v
.
170
CA
511
.
3
AU
AU Shostak, Robert 1931-
TI Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984
TI
SE
International Conference on Automated Deduction, )7th, 1984, Napa, Calif.(
