Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: TPHOLs 2001 (Endinburgh, Skotsko) (Autor)
Další autoři: Boulton, Richard J. (Editor), Jackson, Paul B., 1962- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2001
Edice:Lecture notes in computer science ; 2152
Témata:
logika
matematické důkazy
sborníky
matematika
logic
mathematical proofs
proceedings of conferences
mathematics
sborníky konferencí
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02748cam a22007217a 4500
001 MUB01000157476
003 CZ BrMU
005 20250403105034.0
008 010926s2001 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2009-06-22 
020 |a 3-540-42525-X 
040 |a BOD018  |b cze  |d BOD018 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 16  |2 MRF 
080 |a 51:168.3  |2 MRF 
080 |a (062.534)  |2 MRF 
080 |a 51  |2 MRF 
111 2 |a TPHOLs 2001  |c (Endinburgh, Skotsko)  |4 aut 
245 1 0 |a Theorem proving in higher order logics :  |b 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /  |c edited by Richard J. Boulton, Paul B. Jackson 
260 |a Berlin :  |b Springer,  |c c2001 
300 |a x, 393 s. 
490 1 |a Lecture notes in computer science ;  |v 2152 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a matematické důkazy  |7 ph307639  |2 czenas 
650 0 7 |a sborníky  |7 ph1073147  |2 czenas 
650 0 7 |a matematika  |7 ph117231  |2 czenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a mathematical proofs  |2 eczenas 
650 0 9 |a proceedings of conferences  |2 eczenas 
650 0 9 |a mathematics  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
655 9 |a proceedings of conferences  |2 eczenas 
700 1 |a Boulton, Richard J.  |4 edt 
700 1 |a Jackson, Paul B.,  |d 1962-  |7 xx0047297  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 2152 
CAT |a CONF-FI  |b 02  |c 20040327  |l MUB01  |h 1748 
CAT |a CONV-M04  |b 02  |c 20040919  |l MUB01  |h 1743 
CAT |c 20050122  |l MUB01  |h 1223 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2123 
CAT |c 20070427  |l MUB01  |h 2115 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0634 
CAT |c 20080429  |l MUB01  |h 1804 
CAT |c 20080429  |l MUB01  |h 1819 
CAT |c 20080602  |l MUB01  |h 1117 
CAT |c 20080604  |l MUB01  |h 0952 
CAT |c 20090622  |l MUB01  |h 0750 
CAT |c 20091202  |l MUB01  |h 2156 
CAT |c 20091203  |l MUB01  |h 1433 
CAT |c 20101015  |l MUB01  |h 2115 
CAT |c 20101016  |l MUB01  |h 0131 
CAT |a SIMCIKOVAX  |b 02  |c 20111119  |l MUB01  |h 1112 
CAT |a BATCH  |b 00  |c 20130301  |l MUB01  |h 1712 
CAT |c 20150403  |l MUB01  |h 1952 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0503 
CAT |c 20160401  |l MUB01  |h 1230 
CAT |a VARTECKAX  |b 02  |c 20161109  |l MUB01  |h 0618 
CAT |a HANAV  |b 02  |c 20211103  |l MUB01  |h 1510 
CAT |a VESELAX  |b 02  |c 20250403  |l MUB01  |h 1050 
LOW |a POSLANO DO SKCR  |b 2009-06-22 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 K43.01  |5 4200506927  |8 20040328  |f 74  |f Měsíční  |r 00000001 
AVA |a INF50  |b FI  |c sklad  |d K43.01  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky