Natural deduction, hybrid systems and modal logics /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Indrzejczak, Andrzej (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Dordrecht : Springer, [2010]
Edice:Trends in Logic. Studia logica library ; volume 30
Témata:
deduktivní logika
modální logika
modalita (logika)
hybridní systémy
teorie důkazu
umělá inteligence
deductive logic
modal logic
modality (logic)
hybrid systems
proof theory
artificial intelligence
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02199nam a22005897i 4500
001 MUB01006484287
003 CZ BrMU
005 20220809091214.0
008 210628t20102010ne ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2022-09-26 
020 |a 978-90-481-8784-3 
040 |a BOD001  |b cze  |e rda 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 162.2  |2 MRF 
080 |a 161.26  |2 MRF 
080 |a 001.12-025.26  |2 MRF 
080 |a 168.3  |2 MRF 
080 |a 004.8  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Indrzejczak, Andrzej  |4 aut 
245 1 0 |a Natural deduction, hybrid systems and modal logics /  |c Andrzej Indrzejczak 
264 1 |a Dordrecht :  |b Springer,  |c [2010] 
264 4 |c ©2010 
300 |a xxiii, 491 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
490 1 |a Trends in Logic. Studia logica library ;  |v volume 30 
650 0 7 |a deduktivní logika  |7 ph478618  |2 czenas 
650 0 7 |a modální logika  |7 ph137160  |2 czenas 
650 0 7 |a modalita (logika)  |7 ph294123  |2 czenas 
650 0 7 |a hybridní systémy  |7 ph613264  |2 czenas 
650 0 7 |a teorie důkazu  |7 ph126551  |2 czenas 
650 0 7 |a umělá inteligence  |7 ph116536  |2 czenas 
650 0 9 |a deductive logic  |2 eczenas 
650 0 9 |a modal logic  |2 eczenas 
650 0 9 |a modality (logic)  |2 eczenas 
650 0 9 |a hybrid systems  |2 eczenas 
650 0 9 |a proof theory  |2 eczenas 
650 0 9 |a artificial intelligence  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
830 0 |a Trends in Logic.  |p Studia logica library ;  |v volume 30 
CAT |a RENATA  |b 02  |c 20210628  |l MUB01  |h 1004 
CAT |a BEHANOVA  |b 02  |c 20210701  |l MUB01  |h 0826 
CAT |a BEHANOVA  |b 02  |c 20210701  |l MUB01  |h 0827 
CAT |a CERVINKOVA  |b 02  |c 20220809  |l MUB01  |h 0912 
CAT |c 20220926  |l MUB01  |h 1125 
LOW |a POSLANO DO SKCR  |b 2022-09-26 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 VYBER  |b volný výběr  |3 filozofie-RACL  |5 2572104137  |4 Zakázka 2387  |8 20210628  |f 77  |f Dlouhodobá  |r 20210628  |s grant1100 
AVA |a FIL50  |b FF  |c volný výběr  |d filozofie-RACL  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 1  |j VYBER 

Podobné jednotky