HOME > Detail View

Detail View

Computer-aided reasoning : an approach

Computer-aided reasoning : an approach (Loan 2 times)

Material type
단행본
Personal Author
Kaufmann, Matt. Manolios, Panagiotis. Moore, J Strother , 1947-
Title Statement
Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
Publication, Distribution, etc
Boston :   Kluwer Academic Publishers,   c2000.  
Physical Medium
xv, 270 p. ; 25 cm.
Series Statement
Advances in formal methods ; 3
ISBN
0792377443 (alk. paper)
Bibliography, Etc. Note
Includes bibliographical references (p. [257]-259) and index.
Subject Added Entry-Topical Term
Formal methods (Computer science) Sotware engineering. Expert systems (Computer science) Me*thodes formelles (Informatique) Ge*nie logiciel. Syste>mes experts (Informatique)
000 01212camuu22003494a 4500
001 000000882974
005 20040604113215
008 000404s2000 mau b 001 0 eng
010 ▼a 00038636
015 ▼a GBA0-56476
020 ▼a 0792377443 (alk. paper)
040 ▼a DLC ▼c DLC ▼d UKM ▼d LVB ▼d 211009
042 ▼a pcc
049 1 ▼l 121095025 ▼f 과학
050 0 0 ▼a QA76.9.F67 ▼b K38 2000
082 0 0 ▼a 004/.01/51 ▼2 21
090 ▼a 004.0151 ▼b K21c
100 1 ▼a Kaufmann, Matt.
245 1 0 ▼a Computer-aided reasoning : ▼b an approach / ▼c by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
260 ▼a Boston : ▼b Kluwer Academic Publishers, ▼c c2000.
300 ▼a xv, 270 p. ; ▼c 25 cm.
440 0 ▼a Advances in formal methods ; ▼v 3
504 ▼a Includes bibliographical references (p. [257]-259) and index.
650 0 ▼a Formal methods (Computer science)
650 0 ▼a Sotware engineering.
650 0 ▼a Expert systems (Computer science)
650 6 ▼a Me*thodes formelles (Informatique)
650 6 ▼a Ge*nie logiciel.
650 6 ▼a Syste>mes experts (Informatique)
700 1 ▼a Manolios, Panagiotis.
700 1 ▼a Moore, J Strother , ▼d 1947-

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.0151 K21c Accession No. 121095025 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

An Approach Preface. 1. Introduction. I: Preliminaries. 2. Overview. II: Programming. 3. The Language. 4. Programming Exercises. 5. Macros. III: Reasoning. 6. The Logic. 7. Proof Examples. IV: Gaming. 8. The Mechanical Theorem Prover. 9. How to Use the Theorem Prover. 10. Theorem Prover Examples. 11. Theorem Prover Exercises. Appendices. Bibliography. Index.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

김종원 (2020)
김자미 (2021)