Handbook of logic in artificial intelligence and logic programming. Vol. 3, Nonmonotonic reasoning and uncertain reasoning /

Uloženo v:
Podrobná bibliografie
Další autoři: Gabbay, Dov M., 1945- (Editor), Hogger, Christopher John (Editor), Robinson, J. A. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Oxford : Clarendon Press, 1994
Edice:Handbooks of logic in computer science
Artificial intelligence and logic programming
Témata:
logické programování
symbolická logika
umělá inteligence
artificial intelligence
logic programming
symbolic logic
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02715nam a22006617a 4500
001 MUB01000662035
003 CZ BrMU
005 20200710132115.0
008 101129s1994 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-10-21 
020 |a 0-19-853747-6 
040 |a BOD018  |b cze 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004.42.047  |2 MRF 
080 |a 004.8  |2 MRF 
080 |a 164.01  |2 MRF 
080 |a 004  |2 MRF 
245 0 0 |a Handbook of logic in artificial intelligence and logic programming.  |n Vol. 3,  |p Nonmonotonic reasoning and uncertain reasoning /  |c edited by Dov M. Gabbay, C.J. Hoger, J.A. Robinson 
246 3 0 |a Nonmonotonic reasoning and uncertain reasoning 
260 |a Oxford :  |b Clarendon Press,  |c 1994 
300 |a xix, 529 s. 
490 1 |a Handbooks of logic in computer science 
490 1 |a Artificial intelligence and logic programming 
650 0 7 |a logické programování  |7 ph122430  |2 czenas 
650 0 7 |a symbolická logika  |7 ph126346  |2 czenas 
650 0 7 |a umělá inteligence  |7 ph116536  |2 czenas 
650 0 9 |a artificial intelligence  |2 eczenas 
650 0 9 |a logic programming  |2 eczenas 
650 0 9 |a symbolic logic  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Gabbay, Dov M.,  |d 1945-  |7 kup19980000029813  |4 edt 
700 1 |a Hogger, Christopher John  |7 mub2018992896  |4 edt 
700 1 |a Robinson, J. A.  |q (John Alan)  |4 edt 
830 0 |a Handbooks of logic in computer science 
830 0 |a Artificial intelligence and logic programming 
CAT |a KOVAROVA  |b 02  |c 20101129  |l MUB01  |h 0906 
CAT |a KOVAROVA  |b 02  |c 20101129  |l MUB01  |h 0907 
CAT |a KOZOVA  |b 02  |c 20110107  |l MUB01  |h 1132 
CAT |a KOZOVA  |b 02  |c 20110107  |l MUB01  |h 1246 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0144 
CAT |c 20120610  |l MUB01  |h 2017 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1150 
CAT |a HONIGOVAX  |b 02  |c 20140407  |l MUB01  |h 1439 
CAT |c 20150404  |l MUB01  |h 0614 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0137 
CAT |a PTICHAX  |b 02  |c 20180514  |l MUB01  |h 2136 
CAT |a VESELA  |b 02  |c 20190530  |l MUB01  |h 1101 
CAT |c 20191021  |l MUB01  |h 1110 
CAT |a FUKSOVAX  |b 02  |c 20200710  |l MUB01  |h 1321 
CAT |a FUKSOVAX  |b 02  |c 20200710  |l MUB01  |h 1321 
CAT |c 20210614  |l MUB01  |h 0950 
CAT |c 20210614  |l MUB01  |h 1939 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1201 
LOW |a POSLANO DO SKCR  |b 2019-10-21 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 U156/3  |5 4200516255  |7 Dotisk 2001  |8 20101129  |f 74  |f Měsíční  |g 2010-264  |r 20110107 
AVA |a INF50  |b FI  |d U156/3  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |k 0 

Podobné jednotky