Verfügbarkeit: Computational artifacts | Technische Universität München

Computational artifacts: towards a philosophy of computer science

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Turner, Raymond 1947- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Berlin Springer [2018]
Schlagwörter:	Computer Science Theory of Computation Philosophy of Science Mathematical Logic and Foundations Computer science Philosophy and science Computers Mathematical logic Technikphilosophie Informatik UY PBC Philosophy of Computer Science Ontology Computational Artifacts Logic Machines Software Systems Semantics Programming Languages Specification Languages Software Development Philosophy of Design Modularity Formal Methods Computational Abstraction Epistemology Program Correctness
Links:	https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1 https://doi.org/10.1007/978-3-662-55565-1
Umfang:	1 Online-Ressource (XV, 255 Seiten)
ISBN:	9783662555651
DOI:	10.1007/978-3-662-55565-1

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV045111525
003	DE-604
005	20181206
007	cr\|uuu---uuuuu
008	180801s2018 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9783662555651 \|c Online \|9 978-3-662-55565-1
024	7		\|a 10.1007/978-3-662-55565-1 \|2 doi
035			\|a (ZDB-2-SCS)9783662555651
035			\|a (OCoLC)1048228399
035			\|a (DE-599)BVBBV045111525
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-860 \|a DE-19 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-523 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634
082	0		\|a 004 \|2 23
082	0		\|a 004.0151 \|2 23
084			\|a CC 8400 \|0 (DE-625)17705: \|2 rvk
084			\|a CC 8700 \|0 (DE-625)17711: \|2 rvk
084			\|a DAT 001f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a PHI 010f \|2 stub
100	1		\|a Turner, Raymond \|d 1947- \|e Verfasser \|0 (DE-588)1145553486 \|4 aut
245	1	0	\|a Computational artifacts \|b towards a philosophy of computer science \|c Raymond Turner
264		1	\|a Berlin \|b Springer \|c [2018]
300			\|a 1 Online-Ressource (XV, 255 Seiten)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
650		4	\|a Computer Science
650		4	\|a Theory of Computation
650		4	\|a Philosophy of Science
650		4	\|a Mathematical Logic and Foundations
650		4	\|a Computer science
650		4	\|a Philosophy and science
650		4	\|a Computers
650		4	\|a Mathematical logic
650	0	7	\|a Technikphilosophie \|0 (DE-588)4126976-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
653			\|a UY
653			\|a PBC
653			\|a Philosophy of Computer Science
653			\|a Ontology
653			\|a Computational Artifacts
653			\|a Logic Machines
653			\|a Software Systems
653			\|a Semantics
653			\|a Programming Languages
653			\|a Specification Languages
653			\|a Software Development
653			\|a Philosophy of Design
653			\|a Modularity
653			\|a Formal Methods
653			\|a Computational Abstraction
653			\|a Epistemology
653			\|a Program Correctness
653			\|a UY
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	1	\|a Technikphilosophie \|0 (DE-588)4126976-7 \|D s
689	0		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-662-55564-4
856	4	0	\|u https://doi.org/10.1007/978-3-662-55565-1 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2018
943	1		\|a oai:aleph.bib-bvb.de:BVB01-030501837
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-573 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-898 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-860 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-861 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-863 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-862 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-523 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-55565-1 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1818984396341903360
any_adam_object
author	Turner, Raymond 1947-
author_GND	(DE-588)1145553486
author_facet	Turner, Raymond 1947-
author_role	aut
author_sort	Turner, Raymond 1947-
author_variant	r t rt
building	Verbundindex
bvnumber	BV045111525
classification_rvk	CC 8400 CC 8700
classification_tum	DAT 001f PHI 010f
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783662555651 (OCoLC)1048228399 (DE-599)BVBBV045111525
dewey-full	004 004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004 004.0151
dewey-search	004 004.0151
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Philosophie
doi_str_mv	10.1007/978-3-662-55565-1
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04523nam a2201021zc 4500</leader><controlfield tag="001">BV045111525</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181206 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">180801s2018 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662555651</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-55565-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-55565-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783662555651</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1048228399</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045111525</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-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</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">CC 8400</subfield><subfield code="0">(DE-625)17705:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 8700</subfield><subfield code="0">(DE-625)17711:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHI 010f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Turner, Raymond</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1145553486</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational artifacts</subfield><subfield code="b">towards a philosophy of computer science</subfield><subfield code="c">Raymond Turner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 255 Seiten)</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">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">Philosophy of Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy and science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Technikphilosophie</subfield><subfield code="0">(DE-588)4126976-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="653" ind1=" " ind2=" "><subfield code="a">UY</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">PBC</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Philosophy of Computer Science</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Ontology</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computational Artifacts</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logic Machines</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Software Systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Programming Languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Specification Languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Software Development</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Philosophy of Design</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Modularity</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formal Methods</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computational Abstraction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Epistemology</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Program Correctness</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">UY</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">Technikphilosophie</subfield><subfield code="0">(DE-588)4126976-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-662-55564-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-55565-1</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</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_2018</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030501837</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-55565-1</subfield><subfield code="l">DE-634</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-55565-1</subfield><subfield code="l">DE-Aug4</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-55565-1</subfield><subfield code="l">DE-573</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-55565-1</subfield><subfield code="l">DE-M347</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-55565-1</subfield><subfield code="l">DE-92</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-55565-1</subfield><subfield code="l">DE-898</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-55565-1</subfield><subfield code="l">DE-859</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-55565-1</subfield><subfield code="l">DE-860</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-55565-1</subfield><subfield code="l">DE-861</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-55565-1</subfield><subfield code="l">DE-863</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-55565-1</subfield><subfield code="l">DE-862</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-55565-1</subfield><subfield code="l">DE-523</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-55565-1</subfield><subfield code="l">DE-473</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-55565-1</subfield><subfield code="l">DE-19</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-55565-1</subfield><subfield code="l">DE-355</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-55565-1</subfield><subfield code="l">DE-703</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-55565-1</subfield><subfield code="l">DE-20</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-55565-1</subfield><subfield code="l">DE-706</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-55565-1</subfield><subfield code="l">DE-29</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-55565-1</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV045111525
illustrated	Not Illustrated
indexdate	2024-12-20T18:18:20Z
institution	BVB
isbn	9783662555651
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-030501837
oclc_num	1048228399
open_access_boolean
owner	DE-355 DE-BY-UBR DE-860 DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
owner_facet	DE-355 DE-BY-UBR DE-860 DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
physical	1 Online-Ressource (XV, 255 Seiten)
psigel	ZDB-2-SCS ZDB-2-SCS_2018
publishDate	2018
publishDateSearch	2018
publishDateSort	2018
publisher	Springer
record_format	marc
spelling	Turner, Raymond 1947- Verfasser (DE-588)1145553486 aut Computational artifacts towards a philosophy of computer science Raymond Turner Berlin Springer [2018] 1 Online-Ressource (XV, 255 Seiten) txt rdacontent c rdamedia cr rdacarrier Computer Science Theory of Computation Philosophy of Science Mathematical Logic and Foundations Computer science Philosophy and science Computers Mathematical logic Technikphilosophie (DE-588)4126976-7 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf UY PBC Philosophy of Computer Science Ontology Computational Artifacts Logic Machines Software Systems Semantics Programming Languages Specification Languages Software Development Philosophy of Design Modularity Formal Methods Computational Abstraction Epistemology Program Correctness Informatik (DE-588)4026894-9 s Technikphilosophie (DE-588)4126976-7 s DE-604 Erscheint auch als Druck-Ausgabe 978-3-662-55564-4 https://doi.org/10.1007/978-3-662-55565-1 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Turner, Raymond 1947- Computational artifacts towards a philosophy of computer science Computer Science Theory of Computation Philosophy of Science Mathematical Logic and Foundations Computer science Philosophy and science Computers Mathematical logic Technikphilosophie (DE-588)4126976-7 gnd Informatik (DE-588)4026894-9 gnd
subject_GND	(DE-588)4126976-7 (DE-588)4026894-9
title	Computational artifacts towards a philosophy of computer science
title_auth	Computational artifacts towards a philosophy of computer science
title_exact_search	Computational artifacts towards a philosophy of computer science
title_full	Computational artifacts towards a philosophy of computer science Raymond Turner
title_fullStr	Computational artifacts towards a philosophy of computer science Raymond Turner
title_full_unstemmed	Computational artifacts towards a philosophy of computer science Raymond Turner
title_short	Computational artifacts
title_sort	computational artifacts towards a philosophy of computer science
title_sub	towards a philosophy of computer science
topic	Computer Science Theory of Computation Philosophy of Science Mathematical Logic and Foundations Computer science Philosophy and science Computers Mathematical logic Technikphilosophie (DE-588)4126976-7 gnd Informatik (DE-588)4026894-9 gnd
topic_facet	Computer Science Theory of Computation Philosophy of Science Mathematical Logic and Foundations Computer science Philosophy and science Computers Mathematical logic Technikphilosophie Informatik
url	https://doi.org/10.1007/978-3-662-55565-1
work_keys_str_mv	AT turnerraymond computationalartifactstowardsaphilosophyofcomputerscience

Verfügbarkeit

‌

Online lesen