عنوان
پدید آورنده
موضوع
رده
006.33 C738
006
.
33
C738
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
1111 eng
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
Subsequent Statement of Responsibility
/ edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston ; London
Name of Publisher, Distributor, etc.
: Kluwer Academic
Date of Publication, Distribution, etc.
, 2000.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv,337 p.
Other Physical Details
: ill.
SERIES
Series Title
(Advances in formal methods
Volume Designation
; 4)
GENERAL NOTES
Text of Note
Language: انگلیسی
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Expert systems (Computer science)
Computer-aided design
DEWEY DECIMAL CLASSIFICATION
Number
006
.
33
C738
PERSONAL NAME - SECONDARY RESPONSIBILITY
Kaufmann, Matt
Manolios, Panagiotis
Moore, J Strother ، 1947-
ORIGINATING SOURCE
Country
ایران
Agency
دانشگاه اراک
LOCATION AND CALL NUMBER
Call Number
006.33 C738
old catalog
p
BL
1
a
Y
