Automated reasoning: introduction and applications/

Main Author: Wos, Larry
Other Authors: Lusk, Ewing, Boyle, Jim
Format: Book
Language:English
Published: New York: McGraw-Hill, c1992
Edition:2nd ed.
Subjects:
LEADER 00968nam a2200253 a 4500
001 1566878
005 20171111233653.0
008 930824s1992 cy da er 000 u eng d
020 |a 007911251X:  |c $49.95 
040 |a CY  |b University of Cyprus  |e AACR-2 
050 |a QA76.9.A96A93 1992 
100 1 |a Wos, Larry 
245 1 0 |a Automated reasoning:   |b introduction and applications/  |c Larry Wos ... [et al.] 
250 |a 2nd ed. 
260 |a New York:  |b McGraw-Hill,  |c c1992 
300 |a xvi, 656 p. ;  |c 24 cm. +  |e 1 computer disk (5 1/4 in.) 
500 |a System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation. 
504 |a Includes bibliographical references and index. 
650 0 |a Artificial intelligence 
650 0 |a Automatic theorem proving 
650 0 |a Electronic digital computers  |x Programming 
700 1 |a Lusk, Ewing 
700 1 |a Boyle, Jim 
952 |a CY-NiOUC  |b 5a0433fc6c5ad14ac1e91e98  |c 998a  |d 945l  |e QA76.9.A96A93 1992  |t 2  |x m  |z Books