Text

CLAUSAL FORM LOGIC: An Introduction to the Logic of Computer Reasoning

---

Description Not Available

---

Availability

Detail Information

Series Title

INTERNATIONAL COMPUTER SCIENCE SERIES

Call Number

006.3 Ric c

Publisher

Sydney : Addison-Wesley Publishing Company., 1989

Collation

xiii, 359 p.; ill.; 23 cm.

Language

English

ISBN/ISSN

0-201-12920-2

Classification

006.3

Content Type

Text

Media Type

unmediated

Carrier Type

other (unmediated)

Edition

-

Subject(s)

Reasoning
Artificial intelligence
Expert systems (Computer science)
Logic, Symbolic and mathematical

Specific Detail Info

First Printed

Statement of Responsibility

Furika

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment