Record:   Prev Next
Author Cohen, Donald N
Title Knowledge based theorem proving and learning / by Donald N. Cohen
Imprint Ann Arbor, Mich. : UMI Research Press, c1981
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Books  I2.3 C678    AVAILABLE    30330000025812
 Inform. Sci. A/V Room  Mic 4599  part1    AVAILABLE    30330020045998
 Inform. Sci. A/V Room  Mic 4600  part2    AVAILABLE    30330020046004
 Inform. Sci. A/V Room  Mic 4601  part1 c.2  AVAILABLE    30330020046012
 Inform. Sci. A/V Room  Mic 4602  part2 c.2  AVAILABLE    30330020046020
Descript 202 p. ; 24 cm
Series Computer science. Artificial intelligence ; no. 4
Computer science. Artificial intelligence ; no. 4
Note Includes bibliographical references and index
Subject Automatic theorem proving
Knowledge, Theory of -- Data processing
Learning, Psychology of -- Data processing
Theorem proving iisf
Record:   Prev Next