Handbook of practical logic and automated reasoning /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Harrison, John, 1966- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, [2009]
Vydání:First published
Témata:
logické programování
matematická logika
počítačové programy
umělá inteligence
artificial intelligence
computer programs
logic programming
mathematical logic
monografie
příručky
monographs
handbooks and manuals
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 03061cam a22007817i 4500
001 MUB01000607929
003 CZ BrMU
005 20240429130101.0
008 091202t20092009xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-04-17 
020 |a 978-0-521-89957-4  |q (hardback) 
040 |a BOD018  |b cze  |d BOD001  |e rda 
072 7 |a 004.8  |x Umělá inteligence  |2 Konspekt  |9 23 
080 |a 510.6  |2 MRF 
080 |a 004.8  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 004.42.047  |2 MRF 
080 |a (048.8)  |2 MRF 
080 |a (035)  |2 MRF 
100 1 |a Harrison, John,  |d 1966-  |7 xx0049104  |4 aut 
245 1 0 |a Handbook of practical logic and automated reasoning /  |c John Harrison 
250 |a First published 
264 1 |a Cambridge :  |b Cambridge University Press,  |c [2009] 
264 4 |c ©2009 
300 |a xix, 681 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
650 0 7 |a logické programování  |7 ph122430  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a počítačové programy  |7 ph124516  |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 computer programs  |2 eczenas 
650 0 9 |a logic programming  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 7 |a příručky  |7 fd133209  |2 czenas 
655 9 |a monographs  |2 eczenas 
655 9 |a handbooks and manuals  |2 eczenas 
CAT |a KOVAROVA  |b 02  |c 20091202  |l MUB01  |h 1022 
CAT |c 20091203  |l MUB01  |h 1925 
CAT |a KOZOVA  |b 02  |c 20091209  |l MUB01  |h 1219 
CAT |a BATCH-UPD  |b 02  |c 20100501  |l MUB01  |h 1226 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0133 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1010 
CAT |a HONIGOVAX  |b 02  |c 20130611  |l MUB01  |h 1436 
CAT |c 20150404  |l MUB01  |h 0431 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0044 
CAT |a VESELA  |b 02  |c 20190107  |l MUB01  |h 1556 
CAT |a VESELA  |b 02  |c 20190109  |l MUB01  |h 1418 
CAT |c 20190417  |l MUB01  |h 0934 
CAT |a VARTECKAX  |b 02  |c 20190703  |l MUB01  |h 0710 
CAT |a BEHANOVA  |b 02  |c 20200611  |l MUB01  |h 1114 
CAT |a BEHANOVA  |b 02  |c 20200611  |l MUB01  |h 1125 
CAT |a BEHANOVA  |b 02  |c 20200611  |l MUB01  |h 1127 
CAT |a BART  |b 02  |c 20200615  |l MUB01  |h 0933 
CAT |c 20210614  |l MUB01  |h 0943 
CAT |c 20210614  |l MUB01  |h 1932 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1152 
CAT |a PRESOVA  |b 02  |c 20240429  |l MUB01  |h 1301 
LOW |a POSLANO DO SKCR  |b 2019-04-17 
M54 |a 16 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 VYBER  |b volný výběr  |3 16-HARR1-1  |5 2572003200  |4 *--Zakázka 2387  |7 Dotisk, 2011  |8 20200608  |f 74  |f Měsíční  |r 20200608  |s grant1100 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 L106  |5 4200515645  |8 20091202  |f 74  |f Měsíční  |g 2009-292  |r 20091209 
AVA |a INF50  |b FI  |d L106  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 3  |k 0 
AVA |a FIL50  |b FF  |c volný výběr  |d 16-HARR1-1  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j VYBER 

Podobné jednotky