Automated deduction - CADE-21 21st International conference on automated deduction, Bremen, Germany, July 17-20, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference on Automated Deduction Brémy, Německo) (Autor)
Další autoři: Pfenning, Frank (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007
Edice:Lecture notes in artificial intelligence ; 4603
Témata:
LEADER 02094nam a22005297a 4500
001 MUB01000512827
003 CZ BrMU
005 20181025210023.0
008 070801s2007 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2014-04-16 
020 |a 978-3-540-73594-6  |z 3540735941 
040 |a BOD018  |b cze 
080 |a 004  |2 MRF 
080 |a (062.534)  |2 MRF 
111 2 |a International Conference on Automated Deduction  |n (21. :  |d 2007 :  |c Brémy, Německo)  |7 stk2007407099  |4 aut 
245 1 0 |a Automated deduction - CADE-21  |b 21st International conference on automated deduction, Bremen, Germany, July 17-20, 2007 : proceedings /  |c edited by Frank Pfenning 
260 |a Berlin :  |b Springer,  |c c2007 
300 |a xii, 522 s. 
490 1 |a Lecture notes in artificial intelligence ;  |v 4603 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
700 1 |a Pfenning, Frank  |7 xx0053469  |4 edt 
830 0 |a Lecture notes in artificial intelligence ;  |v 4603 
CAT |a KREKOVA  |b 02  |c 20070801  |l MUB01  |h 1215 
CAT |c 20080429  |l MUB01  |h 1813 
CAT |c 20080429  |l MUB01  |h 1828 
CAT |c 20091203  |l MUB01  |h 0153 
CAT |c 20091203  |l MUB01  |h 1836 
CAT |c 20101015  |l MUB01  |h 2309 
CAT |c 20101016  |l MUB01  |h 0332 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0103 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0911 
CAT |c 20140416  |l MUB01  |h 1204 
CAT |c 20150404  |l MUB01  |h 0237 
CAT |a VASICEKX  |b 02  |c 20150513  |l MUB01  |h 1510 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2251 
CAT |c 20160401  |l MUB01  |h 1235 
CAT |a VARTECKAX  |b 02  |c 20161101  |l MUB01  |h 0801 
CAT |a PTICHAX  |b 02  |c 20181025  |l MUB01  |h 2100 
CAT |c 20210614  |l MUB01  |h 0925 
CAT |c 20210614  |l MUB01  |h 1915 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1127 
LOW |a POSLANO DO SKCR  |b 2014-04-16 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K23.07  |5 4200513305  |8 20070801  |f 74  |f Měsíční  |r 20070801 
AVA |a INF50  |b FI  |d K23.07  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0