Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: TPHOLs 2007 (Kaiserslautern, Německo) (Autor)
Další autoři: Schneider, Klaus, 1967- (Editor), Brandt, Jens, 1978- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007.
Edice:Lecture notes in computer science ; 4732
Témata:
logika
matematická logika
symbolická logika
logic
mathematical logic
symbolic logic
sborníky konferencí
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02537nam a22006617a 4500
001 MUB01000526141
003 CZ BrMU
005 20160606141615.0
008 031024s2007 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2014-12-05 
020 |a 978-3-540-74590-7  |z 3540745904 
040 |a BOD018  |b cze 
080 |a 16  |2 MRF 
080 |a 164.01  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a (062.534)  |2 MRF 
111 2 |a TPHOLs 2007  |c (Kaiserslautern, Německo)  |7 stk2008429145  |4 aut 
245 1 0 |a Theorem proving in higher order logics :  |b 20th International Conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings /  |c edited by Klaus Schneider, Jens Brandt. 
260 |a Berlin :  |b Springer,  |c c2007. 
300 |a viii, 399 s. 
490 1 |a Lecture notes in computer science ;  |v 4732 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a symbolická logika  |7 ph126346  |2 czenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a symbolic logic  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
700 1 |a Schneider, Klaus,  |d 1967-  |7 stk2008428876  |4 edt 
700 1 |a Brandt, Jens,  |d 1978-  |7 stk2008428877  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 4732 
CAT |a KREKOVA  |b 02  |c 20070912  |l MUB01  |h 1430 
CAT |c 20080429  |l MUB01  |h 1814 
CAT |c 20080429  |l MUB01  |h 1828 
CAT |c 20080602  |l MUB01  |h 1124 
CAT |c 20080604  |l MUB01  |h 0959 
CAT |c 20091203  |l MUB01  |h 0156 
CAT |c 20091203  |l MUB01  |h 1839 
CAT |c 20101015  |l MUB01  |h 2311 
CAT |c 20101016  |l MUB01  |h 0333 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0106 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0921 
CAT |a VACOVAX  |b 02  |c 20130902  |l MUB01  |h 1054 
CAT |a PTICHAX  |b 02  |c 20140124  |l MUB01  |h 2259 
CAT |c 20141112  |l MUB01  |h 0947 
CAT |c 20141203  |l MUB01  |h 1633 
CAT |c 20141205  |l MUB01  |h 1143 
CAT |c 20150404  |l MUB01  |h 0241 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2258 
CAT |c 20160401  |l MUB01  |h 1235 
CAT |a VASICEKX  |b 02  |c 20160606  |l MUB01  |h 1416 
CAT |c 20210614  |l MUB01  |h 0927 
CAT |c 20210614  |l MUB01  |h 1916 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1129 
LOW |a POSLANO DO SKCR  |b 2014-12-05 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 K43.07  |5 4200513436  |8 20070912  |f 74  |f Měsíční  |r 20070912 
AVA |a INF50  |b FI  |c sklad  |d K43.07  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky