MARC21: Computational Logic and Proof Theory /

Computational Logic and Proof Theory /

Uloženo v:

Podrobná bibliografie
Korporativní autor:	Kurt Gödel Colloquium Brno, Česko) (Autor)
Další autoři:	Gottlob, Georg, 1956- (Editor), Leitsch, Alexander, 1952- (Editor), Mundici, Daniele, 1946- (Editor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Berlin : Springer-Verlag, 1993.
Témata:	logika výpočetní technika logic > theory computer science monografie monographs

Přejít na ObalkyKnih.cz


LEADER	02410cam a22006257a 4500
001	MUB01000151211
003	CZ BrMU
005	20230329093803.0
008	940224s1993 gw \|\|\|\|\| \|\|\|\|\|\|\|\|\|\|\|eng\|d
STA			\|a POSLANO DO SKCR \|b 2009-06-22
020			\|a 3-540-57184-1
040			\|a BOD018 \|b cze \|d BOD018
072		7	\|a 004 \|x Počítačová věda. Výpočetní technika. Informační technologie \|2 Konspekt \|9 23
080			\|a 16 \|2 MRF
080			\|a 004 \|2 MRF
111	2		\|a Kurt Gödel Colloquium \|n (3. : \|d 1993 : \|c Brno, Česko) \|7 mzk2004223414 \|4 aut
245	1	0	\|a Computational Logic and Proof Theory / \|c edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
260			\|a Berlin : \|b Springer-Verlag, \|c 1993.
300			\|a 348 s.
650	0	7	\|a logika \|7 ph122436 \|2 czenas
650	0	7	\|a výpočetní technika \|7 ph137273 \|2 czenas
650	0	9	\|a logic \|z theory \|2 eczenas
650	0	9	\|a computer science \|2 eczenas
655		7	\|a monografie \|7 fd132842 \|2 czenas
655		9	\|a monographs \|2 eczenas
700	1		\|a Gottlob, Georg, \|d 1956- \|7 mzk2002160854 \|4 edt
700	1		\|a Leitsch, Alexander, \|d 1952- \|7 mzk2002160855 \|4 edt
700	1		\|a Mundici, Daniele, \|d 1946- \|7 mzk2002160856 \|4 edt
CAT			\|a CONF-FI \|b 02 \|c 20040327 \|l MUB01 \|h 1745
CAT			\|a CONV-M04 \|b 02 \|c 20040919 \|l MUB01 \|h 1743
CAT			\|c 20050122 \|l MUB01 \|h 1222
CAT			\|a CONV-653 \|b 02 \|c 20050213 \|l MUB01 \|h 2122
CAT			\|c 20070427 \|l MUB01 \|h 2114
CAT			\|a BATCH-UPD \|b 02 \|c 20080319 \|l MUB01 \|h 0632
CAT			\|c 20080429 \|l MUB01 \|h 1804
CAT			\|c 20080429 \|l MUB01 \|h 1819
CAT			\|c 20080602 \|l MUB01 \|h 1116
CAT			\|c 20080604 \|l MUB01 \|h 0952
CAT			\|c 20081212 \|l MUB01 \|h 0945
CAT			\|c 20081212 \|l MUB01 \|h 1055
CAT			\|c 20090622 \|l MUB01 \|h 0745
CAT			\|c 20091202 \|l MUB01 \|h 2153
CAT			\|c 20091203 \|l MUB01 \|h 1429
CAT			\|a POSPEL \|b 02 \|c 20121017 \|l MUB01 \|h 1046
CAT			\|a BATCH \|b 00 \|c 20130301 \|l MUB01 \|h 1704
CAT			\|a PUTNOVAX \|b 02 \|c 20130403 \|l MUB01 \|h 0903
CAT			\|a HANAV \|b 02 \|c 20140701 \|l MUB01 \|h 1329
CAT			\|c 20150403 \|l MUB01 \|h 1946
CAT			\|a BATCH \|b 00 \|c 20151224 \|l MUB01 \|h 0457
CAT			\|c 20160401 \|l MUB01 \|h 1229
CAT			\|a VESELA \|b 02 \|c 20230329 \|l MUB01 \|h 0938
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 R195 \|5 4200501624 \|8 20040328 \|f 74 \|f Měsíční \|r 00000001
AVA			\|a INF50 \|b FI \|c sklad \|d R195 \|e available \|t K dispozici \|f 1 \|g 0 \|h N \|i 0 \|j SKLAD

Computational Logic and Proof Theory /

Podobné jednotky