Temporal logic : first international conference, ICTL '94 : Bonn, Germany, July 11-14, 1994 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference Temporal Logic Bonn, Německo) (Autor)
Další autoři: Gabbay, Dov M., 1945- (Editor), Ohlbach, Hans Jürgen (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, c1994
Edice:Lecture notes in computer science ; 827.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Témata:
formální logika
logika
matematická logika
počítačová věda
formal logic
computer science
logic
mathematical logic
sborníky konferencí
proceedings of conferences
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 03357cam a22008297a 4500
001 MUB01000157384
003 CZ BrMU
005 20250323143506.0
008 950921s1994 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2009-06-22 
020 |a 0-387-58241-X  |q (U.S.) 
020 |a 3-540-58241-X  |q (Germany) 
040 |a BOD018  |b cze  |d BOD018  |d BOD114 
072 7 |a 519.1/.8  |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování  |2 Konspekt  |9 13 
080 |a 16  |2 MRF 
080 |a 519.7  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 519  |2 MRF 
080 |a 164  |2 MRF 
080 |a (062.534)  |2 MRF 
111 2 |a International Conference Temporal Logic  |n (1. :  |d 1994 :  |c Bonn, Německo)  |4 aut 
245 1 0 |a Temporal logic :  |b first international conference, ICTL '94 : Bonn, Germany, July 11-14, 1994 : proceedings /  |c Dov M. Gabbay, Hans Jürgen Ohlbach (eds.) 
260 |a Berlin :  |b Springer-Verlag,  |c c1994 
300 |a VIII, 545 s. 
490 1 |a Lecture notes in computer science ;  |v 827.  |a Lecture notes in artificial intelligence 
500 |a Obsahuje rejstřík 
650 0 7 |a formální logika  |7 ph120290  |2 czenas 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 9 |a formal logic  |2 eczenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
655 9 |a proceedings of conferences  |2 eczenas 
700 1 |a Gabbay, Dov M.,  |d 1945-  |7 kup19980000029813  |4 edt 
700 1 |a Ohlbach, Hans Jürgen  |7 xx0027088  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 827. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
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 |a HANAV  |b 02  |c 20050524  |l MUB01  |h 2203 
CAT |a HANAV  |b 02  |c 20050524  |l MUB01  |h 2303 
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 20081212  |l MUB01  |h 0945 
CAT |c 20081212  |l MUB01  |h 1056 
CAT |c 20090622  |l MUB01  |h 0750 
CAT |c 20091202  |l MUB01  |h 2156 
CAT |c 20091203  |l MUB01  |h 1433 
CAT |a POSPEL  |b 02  |c 20100819  |l MUB01  |h 1326 
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 20161031  |l MUB01  |h 0645 
CAT |a VESELAX  |b 02  |c 20250314  |l MUB01  |h 1103 
CAT |a VESELAX  |b 02  |c 20250314  |l MUB01  |h 1104 
CAT |a VESELAX  |b 02  |c 20250314  |l MUB01  |h 1118 
CAT |a VARTECKAX  |b 02  |c 20250317  |l MUB01  |h 1606 
CAT |a HANAV  |b 02  |c 20250323  |l MUB01  |h 1435 
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 U58  |5 4200501957  |8 20040328  |f 77  |f Dlouhodobá  |r 00000001 
AVA |a INF50  |b FI  |c sklad  |d U58  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j SKLAD 

Podobné jednotky