Handbook of logic in artificial intelligence and logic programming. Vol. 2, Deduction methodologies /

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, c1994
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 02788nam a22006737a 4500
001 MUB01000662030
003 CZ BrMU
005 20190530110140.0
008 101129s1994 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-10-21 
020 |a 0-19-853746-8 
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. 2,  |p Deduction methodologies /  |c edited by Dov M. Gabbay, C.J. Hoger, J.A. Robinson ; volume co-ordinator J. Siekmann 
246 3 0 |a Deduction methodologies 
260 |a Oxford :  |b Clarendon Press,  |c c1994 
300 |a xiii, 511 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 
700 1 |a Siekmann, Jörg,  |d 1941-  |7 stk2008429057  |4 oth 
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 0852 
CAT |a KOZOVA  |b 02  |c 20110107  |l MUB01  |h 1207 
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 VACOVAX  |b 02  |c 20131021  |l MUB01  |h 0849 
CAT |a VACOVAX  |b 02  |c 20131021  |l MUB01  |h 0850 
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 |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  |2 SKLAD  |b sklad  |3 U156/2  |5 4200516254  |7 Dotisk 2002  |8 20101129  |f 74  |f Měsíční  |g 2010-263  |r 20110107 
AVA |a INF50  |b FI  |c sklad  |d U156/2  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j SKLAD 

Podobné jednotky