Verfügbarkeit: Introduction to Computation

Introduction to Computation: Haskell, Logic and Automata

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sannella, Donald 1956- (VerfasserIn), Fourman, Michael P. 1950- (VerfasserIn), Peng, Haoran (VerfasserIn), Wadler, Philip 1956- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham Springer [2021]
Schriftenreihe:	Undergraduate Topics in Computer Science
Schlagworte:	Theory of Computation Mathematics of Computing Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Computer science Computer science—Mathematics Algorithms Automat > Automatentheorie Datentyp Suchverfahren HASKELL
Online-Zugang:	BTU01 FCO01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FLA01 FRO01 FWS01 FWS02 HTW01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 URL des Erstveröffentlichers
Beschreibung:	1 Online-Ressource (xvi, 366 Seiten)
ISBN:	9783030769086
DOI:	10.1007/978-3-030-76908-6

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV047831317
003	DE-604
005	20231206
007	cr\|uuu---uuuuu
008	220211s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783030769086 \|c Online \|9 978-3-030-76908-6
024	7		\|a 10.1007/978-3-030-76908-6 \|2 doi
035			\|a (ZDB-2-SCS)9783030769086
035			\|a (OCoLC)1298749725
035			\|a (DE-599)BVBBV047831317
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-19 \|a DE-858 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-188 \|a DE-523 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-1050 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-384 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634 \|a DE-355 \|a DE-83
082	0		\|a 004.0151 \|2 23
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
100	1		\|a Sannella, Donald \|d 1956- \|e Verfasser \|0 (DE-588)1044032979 \|4 aut
245	1	0	\|a Introduction to Computation \|b Haskell, Logic and Automata \|c Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
264		1	\|a Cham \|b Springer \|c [2021]
264		4	\|c © 2021
300			\|a 1 Online-Ressource (xvi, 366 Seiten)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Undergraduate Topics in Computer Science
650		4	\|a Theory of Computation
650		4	\|a Mathematics of Computing
650		4	\|a Computer Science Logic and Foundations of Programming
650		4	\|a Design and Analysis of Algorithms
650		4	\|a Computer science
650		4	\|a Computer science—Mathematics
650		4	\|a Algorithms
650	0	7	\|a Automat \|g Automatentheorie \|0 (DE-588)4831958-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datentyp \|0 (DE-588)4011149-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Suchverfahren \|0 (DE-588)4132315-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a HASKELL \|0 (DE-588)4318275-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Datentyp \|0 (DE-588)4011149-0 \|D s
689	0	1	\|a Suchverfahren \|0 (DE-588)4132315-4 \|D s
689	0	2	\|a Automat \|g Automatentheorie \|0 (DE-588)4831958-2 \|D s
689	0	3	\|a HASKELL \|0 (DE-588)4318275-6 \|D s
689	0		\|5 DE-604
700	1		\|a Fourman, Michael P. \|d 1950- \|0 (DE-588)1158154798 \|4 aut
700	1		\|a Peng, Haoran \|4 aut
700	1		\|a Wadler, Philip \|d 1956- \|0 (DE-588)1118540433 \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-76907-9
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-76909-3
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-76910-9
856	4	0	\|u https://doi.org/10.1007/978-3-030-76908-6 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2021
999			\|a oai:aleph.bib-bvb.de:BVB01-033214551
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FCO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FHD01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FHI01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FHR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FLA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FWS01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l FWS02 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l HTW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l UBA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76908-6 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-FWS_katkey	964328
_version_	1806194949070258176
adam_txt
any_adam_object
any_adam_object_boolean
author	Sannella, Donald 1956- Fourman, Michael P. 1950- Peng, Haoran Wadler, Philip 1956-
author_GND	(DE-588)1044032979 (DE-588)1158154798 (DE-588)1118540433
author_facet	Sannella, Donald 1956- Fourman, Michael P. 1950- Peng, Haoran Wadler, Philip 1956-
author_role	aut aut aut aut
author_sort	Sannella, Donald 1956-
author_variant	d s ds m p f mp mpf h p hp p w pw
building	Verbundindex
bvnumber	BV047831317
classification_rvk	ST 120
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783030769086 (OCoLC)1298749725 (DE-599)BVBBV047831317
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
discipline_str_mv	Informatik
doi_str_mv	10.1007/978-3-030-76908-6
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04655nmm a2200889zc 4500</leader><controlfield tag="001">BV047831317</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231206 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220211s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030769086</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-76908-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-76908-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030769086</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1298749725</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047831317</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-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</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><subfield code="a">DE-355</subfield><subfield code="a">DE-83</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 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sannella, Donald</subfield><subfield code="d">1956-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1044032979</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to Computation</subfield><subfield code="b">Haskell, Logic and Automata</subfield><subfield code="c">Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvi, 366 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="490" ind1="0" ind2=" "><subfield code="a">Undergraduate Topics in 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">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Design and Analysis of Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</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">Algorithms</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datentyp</subfield><subfield code="0">(DE-588)4011149-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Suchverfahren</subfield><subfield code="0">(DE-588)4132315-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">HASKELL</subfield><subfield code="0">(DE-588)4318275-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datentyp</subfield><subfield code="0">(DE-588)4011149-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Suchverfahren</subfield><subfield code="0">(DE-588)4132315-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">HASKELL</subfield><subfield code="0">(DE-588)4318275-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fourman, Michael P.</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)1158154798</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Peng, Haoran</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wadler, Philip</subfield><subfield code="d">1956-</subfield><subfield code="0">(DE-588)1118540433</subfield><subfield code="4">aut</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-030-76907-9</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-030-76909-3</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-030-76910-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-76908-6</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_2021</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033214551</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76908-6</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-030-76908-6</subfield><subfield code="l">FCO01</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-030-76908-6</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-030-76908-6</subfield><subfield code="l">FHD01</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-030-76908-6</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-030-76908-6</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-030-76908-6</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-030-76908-6</subfield><subfield code="l">FHR01</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-030-76908-6</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-030-76908-6</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-030-76908-6</subfield><subfield code="l">FWS01</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-030-76908-6</subfield><subfield code="l">FWS02</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-030-76908-6</subfield><subfield code="l">HTW01</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-030-76908-6</subfield><subfield code="l">UBA01</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-030-76908-6</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-030-76908-6</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-030-76908-6</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-030-76908-6</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-030-76908-6</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-030-76908-6</subfield><subfield code="l">UBY01</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-030-76908-6</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-030-76908-6</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.BV047831317
illustrated	Not Illustrated
index_date	2024-07-03T19:09:26Z
indexdate	2024-08-01T16:15:32Z
institution	BVB
isbn	9783030769086
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033214551
oclc_num	1298749725
open_access_boolean
owner	DE-860 DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-355 DE-BY-UBR DE-83
owner_facet	DE-860 DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-355 DE-BY-UBR DE-83
physical	1 Online-Ressource (xvi, 366 Seiten)
psigel	ZDB-2-SCS ZDB-2-SCS_2021
publishDate	2021
publishDateSearch	2021
publishDateSort	2021
publisher	Springer
record_format	marc
series2	Undergraduate Topics in Computer Science
spellingShingle	Sannella, Donald 1956- Fourman, Michael P. 1950- Peng, Haoran Wadler, Philip 1956- Introduction to Computation Haskell, Logic and Automata Theory of Computation Mathematics of Computing Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Computer science Computer science—Mathematics Algorithms Automat Automatentheorie (DE-588)4831958-2 gnd Datentyp (DE-588)4011149-0 gnd Suchverfahren (DE-588)4132315-4 gnd HASKELL (DE-588)4318275-6 gnd
subject_GND	(DE-588)4831958-2 (DE-588)4011149-0 (DE-588)4132315-4 (DE-588)4318275-6
title	Introduction to Computation Haskell, Logic and Automata
title_auth	Introduction to Computation Haskell, Logic and Automata
title_exact_search	Introduction to Computation Haskell, Logic and Automata
title_exact_search_txtP	Introduction to Computation Haskell, Logic and Automata
title_full	Introduction to Computation Haskell, Logic and Automata Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
title_fullStr	Introduction to Computation Haskell, Logic and Automata Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
title_full_unstemmed	Introduction to Computation Haskell, Logic and Automata Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
title_short	Introduction to Computation
title_sort	introduction to computation haskell logic and automata
title_sub	Haskell, Logic and Automata
topic	Theory of Computation Mathematics of Computing Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Computer science Computer science—Mathematics Algorithms Automat Automatentheorie (DE-588)4831958-2 gnd Datentyp (DE-588)4011149-0 gnd Suchverfahren (DE-588)4132315-4 gnd HASKELL (DE-588)4318275-6 gnd
topic_facet	Theory of Computation Mathematics of Computing Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Computer science Computer science—Mathematics Algorithms Automat Automatentheorie Datentyp Suchverfahren HASKELL
url	https://doi.org/10.1007/978-3-030-76908-6
work_keys_str_mv	AT sannelladonald introductiontocomputationhaskelllogicandautomata AT fourmanmichaelp introductiontocomputationhaskelllogicandautomata AT penghaoran introductiontocomputationhaskelllogicandautomata AT wadlerphilip introductiontocomputationhaskelllogicandautomata

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge