TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikou /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Duží, Marie, 1948- (Autor), Materna, Pavel, 1930-2024 (Autor)
Typ dokumentu: Kniha
Jazyk:Čeština
Vydáno: Bratislava : Aleph, 2012
Vydání:1. vyd.
Edice:Noema ; 7. sv.
Témata:
LEADER 01787nam a22004457a 4500
001 MUB01000832813
003 CZ BrMU
005 20121015151810.0
008 121015s2012 xo ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2020-06-05 
020 |a 978-80-89491-08-7 
040 |a BOD018  |b cze 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
100 1 |a Duží, Marie,  |d 1948-  |7 jn20001227520  |4 aut 
245 1 0 |a TIL jako procedurální logika :  |b průvodce zvídavého čtenáře Transparentní intensionální logikou /  |c Marie Duží, Pavel Materna. 
250 |a 1. vyd. 
260 |a Bratislava :  |b Aleph,  |c 2012 
300 |a 412 s. 
490 1 |a Noema ;  |v 7. sv. 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
700 1 |a Materna, Pavel,  |d 1930-2024  |7 jk01080700  |% UČO 111  |4 aut 
830 0 |a Noema ;  |v 7. sv. 
CAT |a KREKOVA  |b 02  |c 20121015  |l MUB01  |h 1518 
CAT |a HANAV  |b 02  |c 20121203  |l MUB01  |h 1455 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1455 
CAT |a POSPEL  |b 02  |c 20130828  |l MUB01  |h 1239 
CAT |c 20150404  |l MUB01  |h 0730 
CAT |c 20150703  |l MUB01  |h 1211 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0334 
CAT |c 20200605  |l MUB01  |h 1146 
CAT |c 20210614  |l MUB01  |h 1001 
CAT |c 20210614  |l MUB01  |h 1949 
CAT |a BATCH-UPD  |b 00  |c 20241112  |l MUB01  |h 2351 
LOW |a POSLANO DO SKCR  |b 2020-06-05 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 L21 - skříň  |5 4200517025  |8 20121015  |f 74  |f Měsíční  |r 20121015  |s dar 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 L21  |5 4200517024  |8 20121015  |f 74  |f Měsíční  |r 20121015  |s dar 
AVA |a INF50  |b FI  |c sklad  |d L21 - skříň  |e available  |t K dispozici  |f 2  |g 0  |h N  |i 12  |j SKLAD