عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A96 .I34 1992
QA
76
.
9
.
A96
.
I34
1992
کتابخانه
محل استقرار
102872
بهار۴۷
English
)20(
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Amsterdam
North-Holland
1993
xiii, 568 p. : ill. ; 23 cm
IFIP transactions. A, Computer science and technology, ISSN 6290-3745; A-02
Includes bibliographical references
، Automatic theorem proving-- Congresses
، Logic, Symbolic and mathematical-- Congresses
QA
76
.
9
.
A96
.
I34
1992
AU
organized by CHEOPS ESPRIT BRA 5123 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 12-42 September 2991 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
AU .M .J cuL ,nesealC
AU .C .J leahciM ,nodroG 1948-
CO Interuniversity Micro-Electronics Center
CO Commission of the European Communities
TI
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, )1992, Leuven, Belgium(
02
