عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.780
QA
76
.
L28
Vol
.
780
کتابخانه
محل استقرار
Higher order logic theorem proving and its applications : 6th International Workshop, HUG'93, Vancouver, B.C. Canada, August 11-13, 1993 : proceedings
6th: 1993: Vancouver, B.C.
Berlin
Springer-Verlag
c1994
ix, 517p.: ill
Lecture notes in computer science; 087
Papers presented at the 1993 HOL User's Group Workshop
Includes bibliographies
ISBN: 3540578269
Jeffrey J. Joyce, Carl-Johan H. Seger, eds
1
Congresses ، Automatic theorem proving
QA
76
.
L28
Vol
.
780
AU
AU Joyce, Jeffrey J., 1960-
AU Seger, Carl Johan H.
TI
SE
International Workshop on Higher Order Logic Theorem Proving and its Applications
