Computational logic and set theory applying formalized logic to analysis

Saved in:
Bibliographic Details
Main Authors: Schwartz, Jacob T., 1930-2009 (Author), Cantone, Domenico (Author), Omodeo, Eugenio, 1951- (Author)
Other Authors: Davis, Martin, 1928- (Author of introduction, etc.)
Format: eBook
Language: English
Published: London ; Dordrecht : Springer c2011
Subjects:
počítačová věda
formální logika
matematická logika
teorie množin
počítačové programy
softwarové inženýrství
logické programování
computer science
set theory
mathematical logic
formal logic
computer programs
software engineering
logic programming
elektronické knihy
příručky
electronic books
handbooks, manuals, etc
ISBN: 9780857298089
Physical Description: xvii, 416 s. : il.

Cover

Table of contents

LEADER 02663nam a2200685 a 4500
001 62829
003 CZ ZlUTB
005 20240911210011.0
006 m d
007 cr cn
008 120203s2011 xxua s 001 0 eng
999 |c 62829  |d 62829 
020 |a 9780857298089  |q (online) 
024 7 |a 10.1007/978-0-85729-808-9  |2 doi 
040 |a ZLD002  |b cze 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004  |2 MRF 
080 |a 164  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 510.22  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 004.41  |2 MRF 
080 |a 004.42.047  |2 MRF 
080 |a (0.034.2:08)  |2 MRF 
080 |a (035)  |2 MRF 
100 1 |a Schwartz, Jacob T.,  |d 1930-2009  |7 xx0136009  |4 aut 
245 1 0 |a Computational logic and set theory  |h [elektronický zdroj] :  |b applying formalized logic to analysis /  |c Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo ; foreword by Martin Davis 
260 |a London ;  |a Dordrecht :  |b Springer  |c c2011 
300 |a xvii, 416 s. :  |b il. 
500 |a Název z titulní obrazovky 
504 |a Obsahuje bibliografie a rejstřík 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity 
533 |a Elektronická reprodukce 
538 |a Způsob přístupu: World Wide Web 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 7 |a formální logika  |7 ph120290  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a teorie množin  |7 ph126563  |2 czenas 
650 0 7 |a počítačové programy  |7 ph124516  |2 czenas 
650 0 7 |a softwarové inženýrství  |7 ph125825  |2 czenas 
650 0 7 |a logické programování  |7 ph122430  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a set theory  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a formal logic  |2 eczenas 
650 0 9 |a computer programs  |2 eczenas 
650 0 9 |a software engineering  |2 eczenas 
650 0 9 |a logic programming  |2 eczenas 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 7 |a příručky  |7 fd133209  |2 czenas 
655 9 |a electronic books  |2 eczenas 
655 9 |a handbooks, manuals, etc  |2 eczenas 
700 1 |a Cantone, Domenico  |7 utb2011672604  |4 aut 
700 1 |a Omodeo, Eugenio,  |d 1951-  |7 utb2011672606  |4 aut 
700 1 |a Davis, Martin,  |d 1928-  |7 xx0012596  |4 aui 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://doi.org/10.1007/978-0-85729-808-9  |y Plný text 
910 |a ZLD002 
942 |2 udc 
992 |a BK  |b SK  |c SPRINGER 
993 |x NEPOSILAT  |y EIZ 

Similar Items