Automation of reasoning. 2, Classical papers on computational logic 1967-1970 /

Uloženo v:
Podrobná bibliografie
Další autoři: Siekmann, Jörg, 1941- (Editor), Wrightson, Graham, 1941- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, 1983
Edice:Symbolic computation
Témata:
výpočetní technika
matematika
programování
logika
matematická logika
programovací jazyky
computer science
logic
mathematical logic
programming
programming languages
mathematics
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02839cam a22007937a 4500
001 MUB01000150789
003 CZ BrMU
005 20250106142354.0
008 960827s1983 gw ||||| |||||||||||eng|d
STA |a POSLANO DO SKCR  |b 2009-06-22 
020 |a 3-540-12044-0  |q (Germany) 
020 |a 0-387-12044-0  |q (U.S.) 
040 |a BOD018  |b cze  |d BOD018 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 16  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 004.43  |2 MRF 
080 |a 51  |2 MRF 
245 0 0 |a Automation of reasoning.  |n 2,  |p Classical papers on computational logic 1967-1970 /  |c edited by Jörg Siekmann and Graham Wrightson 
260 |a Berlin :  |b Springer-Verlag,  |c 1983 
300 |a XII, 635 s. 
490 1 |a Symbolic computation 
650 0 7 |a výpočetní technika  |7 ph137273  |2 czenas 
650 0 7 |a matematika  |7 ph117231  |2 czenas 
650 0 7 |a programování  |7 ph115891  |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 programovací jazyky  |7 ph115890  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a programming  |2 eczenas 
650 0 9 |a programming languages  |2 eczenas 
650 0 9 |a mathematics  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Siekmann, Jörg,  |d 1941-  |7 stk2008429057  |4 edt 
700 1 |a Wrightson, Graham,  |d 1941-  |4 edt 
830 0 |a Symbolic computation 
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 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 0944 
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 |c 20101015  |l MUB01  |h 2113 
CAT |c 20101016  |l MUB01  |h 0129 
CAT |a BATCH  |b 00  |c 20130301  |l MUB01  |h 1704 
CAT |a VACOVAX  |b 02  |c 20131021  |l MUB01  |h 0850 
CAT |c 20150403  |l MUB01  |h 1945 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0456 
CAT |a VESELA  |b 02  |c 20230313  |l MUB01  |h 1525 
CAT |a FUKSOVAX  |b 02  |c 20240119  |l MUB01  |h 1046 
CAT |a VESELAX  |b 02  |c 20250106  |l MUB01  |h 1423 
LOW |a POSLANO DO SKCR  |b 2009-06-22 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 U13  |5 4200500694  |8 20040328  |f 74  |f Měsíční  |r 00000001 
AVA |a INF50  |b FI  |d U13  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0 

Podobné jednotky