Holdings: The Foundations of Computability Theory

The Foundations of Computability Theory:

Saved in:

Bibliographic Details
Main Author:	Robič, Borut 1960- (Author)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2015
Edition:	1st ed. 2015
Subjects:	Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Computational Mathematics and Numerical Analysis Informatik Mathematik Berechnungstheorie Computermathematik
Online Access:	BTU01 FHA01 FHI01 FHM01 FHN01 FKE01 FLA01 FRO01 UBG01 UBM01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online Ressource (XX, 331 p. 109 illus)
ISBN:	9783662448083
DOI:	10.1007/978-3-662-44808-3

Staff View

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043208743
003	DE-604
005	20160511
007	cr\|uuu---uuuuu
008	151215s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783662448083 \|c Online \|9 978-3-662-44808-3
024	7		\|a 10.1007/978-3-662-44808-3 \|2 doi
035			\|a (OCoLC)932569731
035			\|a (DE-599)BVBBV043208743
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-19 \|a DE-Aug4 \|a DE-M347 \|a DE-573 \|a DE-859 \|a DE-703 \|a DE-473 \|a DE-29 \|a DE-20 \|a DE-92 \|a DE-634 \|a DE-860 \|a DE-861 \|a DE-739
082	0		\|a 004.0151 \|2 23
084			\|a ST 134 \|0 (DE-625)143590: \|2 rvk
100	1		\|a Robič, Borut \|d 1960- \|e Verfasser \|0 (DE-588)120990784 \|4 aut
245	1	0	\|a The Foundations of Computability Theory \|c by Borut Robič
250			\|a 1st ed. 2015
264		1	\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 2015
300			\|a 1 Online Ressource (XX, 331 p. 109 illus)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
650		4	\|a Computers
650		4	\|a Computer science / Mathematics
650		4	\|a Computer Science
650		4	\|a Theory of Computation
650		4	\|a Mathematics of Computing
650		4	\|a Computational Mathematics and Numerical Analysis
650		4	\|a Informatik
650		4	\|a Mathematik
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Computermathematik \|0 (DE-588)4788218-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	1	\|a Computermathematik \|0 (DE-588)4788218-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|D s
689	1		\|8 1\p \|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-662-44807-6
856	4	0	\|u https://doi.org/10.1007/978-3-662-44808-3 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028631903&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028631903&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2015
999			\|a oai:aleph.bib-bvb.de:BVB01-028631903
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l FHI01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l FLA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44808-3 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804175706606796800
adam_text	THE FOUNDATIONS OF COMPUTABILITY THEORY / ROBIC, BORUT : 2015 TABLE OF CONTENTS / INHALTSVERZEICHNIS INTRODUCTION THE FOUNDATIONAL CRISIS OF MATHEMATICS FORMALISM HILBERT’S ATTEMPT AT RECOVERY THE QUEST FOR A FORMALIZATION THE TURING MACHINE THE FIRST BASIC RESULTS INCOMPUTABLE PROBLEMS METHODS OF PROVING THE INCOMPUTABILITY COMPUTATION WITH EXTERNAL HELP DEGREES OF UNSOLVABILITY THE TURING HIERARCHY OF UNSOLVABILITY THE CLASS D OF DEGREES OF UNSOLVABILITY C.E. DEGREES AND THE PRIORITY METHOD THE ARITHMETICAL HIERARCHY FURTHER READING APP. A, MATHEMATICAL BACKGROUND REFERENCES INDEX DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. THE FOUNDATIONS OF COMPUTABILITY THEORY / ROBIC, BORUT : 2015 ABSTRACT / INHALTSTEXT THIS BOOK OFFERS AN ORIGINAL AND INFORMATIVE VIEW OF THE DEVELOPMENT OF FUNDAMENTAL CONCEPTS OF COMPUTABILITY THEORY. THE TREATMENT IS PUT INTO HISTORICAL CONTEXT, EMPHASIZING THE MOTIVATION FOR IDEAS AS WELL AS THEIR LOGICAL AND FORMAL DEVELOPMENT. IN PART I THE AUTHOR INTRODUCES COMPUTABILITY THEORY, WITH CHAPTERS ON THE FOUNDATIONAL CRISIS OF MATHEMATICS IN THE EARLY TWENTIETH CENTURY, AND FORMALISM; IN PART II HE EXPLAINS CLASSICAL COMPUTABILITY THEORY, WITH CHAPTERS ON THE QUEST FOR FORMALIZATION, THE TURING MACHINE, AND EARLY SUCCESSES SUCH AS DEFINING INCOMPUTABLE PROBLEMS, C.E. (COMPUTABLY ENUMERABLE) SETS, AND DEVELOPING METHODS FOR PROVING INCOMPUTABILITY; IN PART III HE EXPLAINS RELATIVE COMPUTABILITY, WITH CHAPTERS ON COMPUTATION WITH EXTERNAL HELP, DEGREES OF UNSOLVABILITY, THE TURING HIERARCHY OF UNSOLVABILITY, THE CLASS OF DEGREES OF UNSOLVABILITY, C.E. DEGREES AND THE PRIORITY METHOD, AND THE ARITHMETICAL HIERARCHY. THIS IS A GENTLE INTRODUCTION FROM THE ORIGINS OF COMPUTABILITY THEORY UP TO CURRENT RESEARCH, AND IT WILL BE OF VALUE AS A TEXTBOOK AND GUIDE FOR ADVANCED UNDERGRADUATE AND GRADUATE STUDENTS AND RESEARCHERS IN THE DOMAINS OF COMPUTABILITY THEORY AND THEORETICAL COMPUTER SCIENCE DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Robič, Borut 1960-
author_GND	(DE-588)120990784
author_facet	Robič, Borut 1960-
author_role	aut
author_sort	Robič, Borut 1960-
author_variant	b r br
building	Verbundindex
bvnumber	BV043208743
classification_rvk	ST 134
collection	ZDB-2-SCS
ctrlnum	(OCoLC)932569731 (DE-599)BVBBV043208743
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-662-44808-3
edition	1st ed. 2015
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03979nmm a2200757zc 4500</leader><controlfield tag="001">BV043208743</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160511 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662448083</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-44808-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-44808-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932569731</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043208743</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Robič, Borut</subfield><subfield code="d">1960-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120990784</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Foundations of Computability Theory</subfield><subfield code="c">by Borut Robič</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2015</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XX, 331 p. 109 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Mathematics and Numerical Analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-662-44807-6</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028631903&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028631903&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028631903</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44808-3</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV043208743
illustrated	Not Illustrated
indexdate	2024-07-10T07:20:33Z
institution	BVB
isbn	9783662448083
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028631903
oclc_num	932569731
open_access_boolean
owner	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739
owner_facet	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739
physical	1 Online Ressource (XX, 331 p. 109 illus)
psigel	ZDB-2-SCS ZDB-2-SCS_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer Berlin Heidelberg
record_format	marc
spelling	Robič, Borut 1960- Verfasser (DE-588)120990784 aut The Foundations of Computability Theory by Borut Robič 1st ed. 2015 Berlin, Heidelberg Springer Berlin Heidelberg 2015 1 Online Ressource (XX, 331 p. 109 illus) txt rdacontent c rdamedia cr rdacarrier Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Computational Mathematics and Numerical Analysis Informatik Mathematik Informatik (DE-588)4026894-9 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Computermathematik (DE-588)4788218-9 gnd rswk-swf Informatik (DE-588)4026894-9 s Computermathematik (DE-588)4788218-9 s DE-604 Berechnungstheorie (DE-588)4005581-4 s 1\p DE-604 Erscheint auch als Druckausgabe 978-3-662-44807-6 https://doi.org/10.1007/978-3-662-44808-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028631903&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028631903&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Robič, Borut 1960- The Foundations of Computability Theory Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Computational Mathematics and Numerical Analysis Informatik Mathematik Informatik (DE-588)4026894-9 gnd Berechnungstheorie (DE-588)4005581-4 gnd Computermathematik (DE-588)4788218-9 gnd
subject_GND	(DE-588)4026894-9 (DE-588)4005581-4 (DE-588)4788218-9
title	The Foundations of Computability Theory
title_auth	The Foundations of Computability Theory
title_exact_search	The Foundations of Computability Theory
title_full	The Foundations of Computability Theory by Borut Robič
title_fullStr	The Foundations of Computability Theory by Borut Robič
title_full_unstemmed	The Foundations of Computability Theory by Borut Robič
title_short	The Foundations of Computability Theory
title_sort	the foundations of computability theory
topic	Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Computational Mathematics and Numerical Analysis Informatik Mathematik Informatik (DE-588)4026894-9 gnd Berechnungstheorie (DE-588)4005581-4 gnd Computermathematik (DE-588)4788218-9 gnd
topic_facet	Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Computational Mathematics and Numerical Analysis Informatik Mathematik Berechnungstheorie Computermathematik
url	https://doi.org/10.1007/978-3-662-44808-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028631903&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028631903&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT robicborut thefoundationsofcomputabilitytheory

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items