عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A96 .I34 1992
QA
76
.
9
.
A96
.
I34
1992
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
102872
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
بهار۴۷
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)20(
Title Proper
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
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
North-Holland
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 568 p. : ill. ; 23 cm
SERIES
Series Title
IFIP transactions. A, Computer science and technology, ISSN 6290-3745; A-02
GENERAL NOTES
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Entry Element
، Automatic theorem proving-- Congresses
Entry Element
، Logic, Symbolic and mathematical-- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
A96
.
I34
1992
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
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
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, )1992, Leuven, Belgium(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
02
