عنوان
پدید آورنده
موضوع
رده
QA 76.76 .E95C665 2000
QA
76
.
76
.
E95C665
2000
کتابخانه
محل استقرار
IR
29601
انگلیسی
IR
Computer-aided reasoning
[Book]
: ACL2 case studies
/ edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
Boston
: Kluwer academic publisher
, 2000
xv, 337p.
:ill.
; 24cm
Advanced in formal methods
; 4
English
P: [317] - 324
Computer-aided design
Expert systems (Computer science)
QA
76
.
76
.
E95C665
2000
Kaufmann, Matt,, editor
Manolios, Panagiotis,, editor
Moore, J. Strother,, 1947-, editor
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
