Computer-aided reasoning : an approach /

Bibliographic Details
Other Authors: Kaufmann, Matt (ed.), Manolios, Panagiotis (ed.), Moore, J. Strother, 1947- (ed.,)
Format: Book
Language:English
Published: [Austin, Texas : Kluwer, 2002.]
Series:Computational logic applicative common lisp
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908124041.0
008 111214s2002 xxu||||| |||| 00| 0 eng d
040 |a AR_CdUFM  |c AR_CdUFM 
245 0 0 |a Computer-aided reasoning :   |b an approach /   |c ed. Matt Kaufmann, Panagiotis Manolios, J. Strother Moore. 
260 |a [Austin, Texas :   |b Kluwer,   |c 2002.]  
300 |a 222 p. ;  |c 25 cm. 
490 0 |a Computational logic applicative common lisp 
650 4 |a Deduction and theorem proving. 
650 4 |a Formal methos. 
650 4 |a Software engineering. 
650 4 |a Expert systems. 
650 4 |a Applicative common LISP. 
653 |a ACL2. 
653 |a LISP. 
700 1 |9 8719  |a Kaufmann, Matt,   |e ed. 
700 1 |9 10795  |a Manolios, Panagiotis,   |e ed. 
700 1 |9 11805  |a Moore, J. Strother,   |e ed.,  |d 1947- 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-12-14 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_I23_C738C  |7 0  |9 15932  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e Infante Lopez Gabriel G.  |l 4  |o C I2.3 C738c   |p 18743  |r 2023-01-24 00:00:00  |s 2011-09-06  |w 2008-06-09  |y LIBRO 
999 |c 12566  |d 12566