عنوان
پدید آورنده
موضوع
رده
QA 76.76 .E95C665 2000
QA
76
.
76
.
E95C665
2000
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
29601
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
Computer-aided reasoning
General Material Designation
[Book]
Other Title Information
: ACL2 case studies
First Statement of Responsibility
/ edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
: Kluwer academic publisher
Date of Publication, Distribution, etc.
, 2000
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 337p.
Other Physical Details
:ill.
Dimensions
; 24cm
SERIES
Series Title
Advanced in formal methods
Volume Designation
; 4
GENERAL NOTES
Text of Note
English
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
P: [317] - 324
TOPICAL NAME USED AS SUBJECT
Computer-aided design
Expert systems (Computer science)
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
Book number
.
E95C665
2000
PERSONAL NAME - SECONDARY RESPONSIBILITY
Kaufmann, Matt,, editor
Manolios, Panagiotis,, editor
Moore, J. Strother,, 1947-, editor
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
