عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96I34 1993
QA
76
.
9
.
A96I34
1993
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0-444-89880-8
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
123113
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Higher order logic theorem proving and its applications
General Material Designation
[Book]
Other Title Information
:proceedings of the IFIP TC10 WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - - Hol ,92
First Statement of Responsibility
/ Organized by CHEOPS ESPRIT BRA 3215
Subsequent Statement of Responsibility
;edited by Luc J.M.Claesen ,Michael J .C .Gordon
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam, New York
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 .
Other Physical Details
:ill . ;23 cm
SERIES
Series Title
IFIP transactions A:Computer science and technology ,ISSN 0926-5473
Volume Designation
;A-20
GENERAL NOTES
Text of Note
انگليسي
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving --Congresses
Logic, Symbolic and mathematical -- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
A96I34
1993
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Claesen
Entry Element
Gordon
Part of Name Other than Entry Element
, Luc J. M
Part of Name Other than Entry Element
,Michael J .C
Dates
, 1948 -
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
IFIP TC10 WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Number of Meeting and/or Number of Part of Meeting
( 1992
Location of Meeting
: Leuven ,Belgium )
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
Interuniversity Micro - Electronics Center
Entry Element
Commission of the European Communites
ORIGINATING SOURCE
Country
Iran
Agency
Central Library Of Tehran University
Old cataloging
BL
1
Y
