Verfügbarkeit: Formal Methods – Fun for Everybody | Technische Universität München

Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Cerone, Antonio (HerausgeberIn), Roggenbach, Markus (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 2021 Cham Springer
Ausgabe:	1st ed. 2021
Schriftenreihe:	Communications in Computer and Information Science 1301
Schlagwörter:	Computers and Education Mathematical Logic and Formal Languages Logics and Meanings of Programs Artificial Intelligence Education—Data processing Mathematical logic Computer logic Artificial intelligence Künstliche Intelligenz Mathematische Logik
Links:	https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4 https://doi.org/10.1007/978-3-030-71374-4
Umfang:	1 Online-Ressource (IX, 227 p. 34 illus., 21 illus. in color)
ISBN:	9783030713744
ISSN:	1865-0929
DOI:	10.1007/978-3-030-71374-4

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV047226394
003	DE-604
005	20210906
007	cr\|uuu---uuuuu
008	210407s2021 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9783030713744 \|c Online \|9 978-3-030-71374-4
024	7		\|a 10.1007/978-3-030-71374-4 \|2 doi
035			\|a (ZDB-2-SCS)9783030713744
035			\|a (OCoLC)1249675382
035			\|a (DE-599)BVBBV047226394
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
082	0		\|a 374.26 \|2 23
245	1	0	\|a Formal Methods – Fun for Everybody \|b First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers \|c edited by Antonio Cerone, Markus Roggenbach
250			\|a 1st ed. 2021
264		1	\|a Cham \|b Springer International Publishing \|c 2021
264		1	\|a Cham \|b Springer
300			\|a 1 Online-Ressource (IX, 227 p. 34 illus., 21 illus. in color)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Communications in Computer and Information Science \|v 1301 \|x 1865-0929
650		4	\|a Computers and Education
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Logics and Meanings of Programs
650		4	\|a Artificial Intelligence
650		4	\|a Education—Data processing
650		4	\|a Mathematical logic
650		4	\|a Computer logic
650		4	\|a Artificial intelligence
650	0	7	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0	1	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|D s
689	0		\|5 DE-604
700	1		\|a Cerone, Antonio \|4 edt
700	1		\|a Roggenbach, Markus \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-71373-7
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-71375-1
856	4	0	\|u https://doi.org/10.1007/978-3-030-71374-4 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2021_Fremddaten
943	1		\|a oai:aleph.bib-bvb.de:BVB01-032630928
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-858 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-1050 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-573 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-898 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-860 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-861 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-863 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-862 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-523 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71374-4 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1818987859831422976
any_adam_object
author2	Cerone, Antonio Roggenbach, Markus
author2_role	edt edt
author2_variant	a c ac m r mr
author_facet	Cerone, Antonio Roggenbach, Markus
building	Verbundindex
bvnumber	BV047226394
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783030713744 (OCoLC)1249675382 (DE-599)BVBBV047226394
dewey-full	374.26
dewey-hundreds	300 - Social sciences
dewey-ones	374 - Adult education
dewey-raw	374.26
dewey-search	374.26
dewey-sort	3374.26
dewey-tens	370 - Education
discipline	Pädagogik Informatik
doi_str_mv	10.1007/978-3-030-71374-4
edition	1st ed. 2021
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04405nam a2200817zcb4500</leader><controlfield tag="001">BV047226394</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210906 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">210407s2021 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030713744</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-71374-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-71374-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030713744</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1249675382</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047226394</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">374.26</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Methods – Fun for Everybody</subfield><subfield code="b">First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers</subfield><subfield code="c">edited by Antonio Cerone, Markus Roggenbach</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2021</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2021</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 227 p. 34 illus., 21 illus. in color)</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">Communications in Computer and Information Science</subfield><subfield code="v">1301</subfield><subfield code="x">1865-0929</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers and Education</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Education—Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">Cerone, Antonio</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Roggenbach, Markus</subfield><subfield code="4">edt</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-71373-7</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-71375-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-71374-4</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_Fremddaten</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032630928</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71374-4</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-030-71374-4</subfield><subfield code="l">DE-858</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-71374-4</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-030-71374-4</subfield><subfield code="l">DE-1050</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-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</subfield><subfield code="l">DE-384</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-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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-030-71374-4</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71374-4</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></record></collection>
id	DE-604.BV047226394
illustrated	Not Illustrated
indexdate	2024-12-20T19:13:23Z
institution	BVB
isbn	9783030713744
issn	1865-0929
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032630928
oclc_num	1249675382
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
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
physical	1 Online-Ressource (IX, 227 p. 34 illus., 21 illus. in color)
psigel	ZDB-2-SCS ZDB-2-SCS_2021_Fremddaten
publishDate	2021
publishDateSearch	2021
publishDateSort	2021
publisher	Springer International Publishing Springer
record_format	marc
series2	Communications in Computer and Information Science
spelling	Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers edited by Antonio Cerone, Markus Roggenbach 1st ed. 2021 Cham Springer International Publishing 2021 Cham Springer 1 Online-Ressource (IX, 227 p. 34 illus., 21 illus. in color) txt rdacontent c rdamedia cr rdacarrier Communications in Computer and Information Science 1301 1865-0929 Computers and Education Mathematical Logic and Formal Languages Logics and Meanings of Programs Artificial Intelligence Education—Data processing Mathematical logic Computer logic Artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Cerone, Antonio edt Roggenbach, Markus edt Erscheint auch als Druck-Ausgabe 978-3-030-71373-7 Erscheint auch als Druck-Ausgabe 978-3-030-71375-1 https://doi.org/10.1007/978-3-030-71374-4 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers Computers and Education Mathematical Logic and Formal Languages Logics and Meanings of Programs Artificial Intelligence Education—Data processing Mathematical logic Computer logic Artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4033447-8 (DE-588)4037951-6
title	Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
title_auth	Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
title_exact_search	Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
title_full	Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers edited by Antonio Cerone, Markus Roggenbach
title_fullStr	Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers edited by Antonio Cerone, Markus Roggenbach
title_full_unstemmed	Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers edited by Antonio Cerone, Markus Roggenbach
title_short	Formal Methods – Fun for Everybody
title_sort	formal methods fun for everybody first international workshop fmfun 2019 bergen norway december 2 3 2019 revised selected papers
title_sub	First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
topic	Computers and Education Mathematical Logic and Formal Languages Logics and Meanings of Programs Artificial Intelligence Education—Data processing Mathematical logic Computer logic Artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Computers and Education Mathematical Logic and Formal Languages Logics and Meanings of Programs Artificial Intelligence Education—Data processing Mathematical logic Computer logic Artificial intelligence Künstliche Intelligenz Mathematische Logik
url	https://doi.org/10.1007/978-3-030-71374-4
work_keys_str_mv	AT ceroneantonio formalmethodsfunforeverybodyfirstinternationalworkshopfmfun2019bergennorwaydecember232019revisedselectedpapers AT roggenbachmarkus formalmethodsfunforeverybodyfirstinternationalworkshopfmfun2019bergennorwaydecember232019revisedselectedpapers

Verfügbarkeit

‌

Online lesen