Handbook of logic in artificial intelligence and logic programming /

Bibliographic Details
Other Authors: Gabbay, Dov M., 1945- (ed.,), Hogger, Christopher John (ed.), Robinson, John Alan, 1937- (ed.)
Format: Book
Language:English
Published: Oxford : Oxford university, 1998.
Series:Oxford science publications
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20190827174359.0
008 111214s1998 enk||||| |||| 00| 0 eng d
020 |a 0198537021 
040 |a AR_CdUFM  |c AR_CdUFM 
245 0 0 |a Handbook of logic in artificial intelligence and logic programming /   |c ed. Dov M. Gabbay, Christopher John Hogger, John Alan Robinson. 
260 |a Oxford :   |b Oxford university,   |c 1998. 
300 |a 5 v. :  |b il. ;  |c 25 cm. 
490 0 |a Oxford science publications 
500 |a La biblioteca posee v. 5. 
505 0 |a v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning -- v. 5. Logic programming. 
650 4 |a Inteligencia artificial. 
650 4 |a Artificial intelligence. 
650 4 |a Deducción y prueba de teoremas 
650 4 |a Deduction and theorem proving 
650 4 |a Programación en lógica 
650 4 |a Logic programming 
650 4 |a Programación en lógica 
700 1 |9 5713  |a Gabbay, Dov M.,   |e ed.,  |d 1945- 
700 1 |9 7709  |a Hogger, Christopher John,  |e ed. 
700 1 |a Robinson, John Alan,  |d 1937-  |e ed.  |9 14490 
942 |c LIBRO  |2   
945 |a AB 
945 |a MCR  |d 2011-12-14 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_I2_H236_V5  |7 0  |9 7497  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C I2 H236 v.5  |p 14248  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 5678  |d 5678