Clausal form logic : an introduction to the logic of computer reasoning
Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning - - Sydney Addison-Wesley 1989 - xiii,359 p. 24 cm - International computer science series .
978-0-201-12920-5
Computer science and engineering
Expert systems(Computer science) , Artificial intelligence , Logic, Symbolic and mathematical , Reasoning
681.342:681.3.06Ric
Clausal form logic : an introduction to the logic of computer reasoning - - Sydney Addison-Wesley 1989 - xiii,359 p. 24 cm - International computer science series .
978-0-201-12920-5
Computer science and engineering
Expert systems(Computer science) , Artificial intelligence , Logic, Symbolic and mathematical , Reasoning
681.342:681.3.06Ric