Verfügbarkeit: Tests and proofs | Technische Universität München

Tests and proofs: 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	TAP Leicester (VerfasserIn)
Weitere beteiligte Personen:	Prevosto, Virgile (HerausgeberIn), Seceleanu, Cristina (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	Cham, Switzerland Springer [2023]
Schriftenreihe:	Lecture notes in computer science 14066
Schlagwörter:	Informal Logic Models of Computation Reasoning Computer science Konferenzschrift > 2023 > Leicester
Links:	https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6 https://doi.org/10.1007/978-3-031-38828-6
Umfang:	1 Online-Ressource (xxii, 187 Seiten) 65 Illustrationen, 17 in Farbe
ISBN:	9783031388286
ISSN:	1611-3349
DOI:	10.1007/978-3-031-38828-6

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV049082957
003	DE-604
005	20231027
007	cr\|uuu---uuuuu
008	230801s2023 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783031388286 \|c Online \|9 978-3-031-38828-6
024	7		\|a 10.1007/978-3-031-38828-6 \|2 doi
035			\|a (ZDB-2-SCS)9783031388286
035			\|a (ZDB-2-LNC)9783031388286
035			\|a (OCoLC)1392155115
035			\|a (DE-599)BVBBV049082957
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-91 \|a DE-19 \|a DE-858 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-188 \|a DE-523 \|a DE-1049 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-1050 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-355 \|a DE-824 \|a DE-522 \|a DE-384 \|a DE-M347 \|a DE-573 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634
082	0		\|a 160 \|2 23
084			\|a DAT 330 \|2 stub
111	2		\|a TAP \|n 17. \|d 2023 \|c Leicester \|j Verfasser \|0 (DE-588)1300461284 \|4 aut
245	1	0	\|a Tests and proofs \|b 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings \|c Virgile Prevosto, Cristina Seceleanu, editors
264		1	\|a Cham, Switzerland \|b Springer \|c [2023]
300			\|a 1 Online-Ressource (xxii, 187 Seiten) \|b 65 Illustrationen, 17 in Farbe
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 14066 \|x 1611-3349
650		4	\|a Informal Logic
650		4	\|a Models of Computation
650		4	\|a Reasoning
650		4	\|a Computer science
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2023 \|z Leicester \|2 gnd-content
700	1		\|a Prevosto, Virgile \|4 edt
700	1		\|a Seceleanu, Cristina \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-38827-9
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-38829-3
830		0	\|a Lecture notes in computer science \|v 14066 \|w (DE-604)BV014880109 \|9 14066
856	4	0	\|u https://doi.org/10.1007/978-3-031-38828-6 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2023
940	1		\|q ZDB-2-LNC_2023
943	1		\|a oai:aleph.bib-bvb.de:BVB01-034344839
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-522 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-858 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-1050 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-573 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-898 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-860 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-1049 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-863 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-862 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-523 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-91 \|p ZDB-2-LNC \|q ZDB-2-LNC_2023 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-355 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-824 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-38828-6 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	2754526
_version_	1821935056441049090
adam_text
any_adam_object
author2	Prevosto, Virgile Seceleanu, Cristina
author2_role	edt edt
author2_variant	v p vp c s cs
author_corporate	TAP Leicester
author_corporate_role	aut
author_facet	Prevosto, Virgile Seceleanu, Cristina TAP Leicester
author_sort	TAP Leicester
building	Verbundindex
bvnumber	BV049082957
classification_rvk	SS 4800
classification_tum	DAT 330
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783031388286 (ZDB-2-LNC)9783031388286 (OCoLC)1392155115 (DE-599)BVBBV049082957
dewey-full	160
dewey-hundreds	100 - Philosophy & psychology
dewey-ones	160 - Philosophical logic
dewey-raw	160
dewey-search	160
dewey-sort	3160
dewey-tens	160 - Philosophical logic
discipline	Informatik Philosophie
doi_str_mv	10.1007/978-3-031-38828-6
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV049082957</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231027</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">230801s2023 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031388286</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-38828-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-38828-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031388286</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783031388286</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1392155115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049082957</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-91</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-1049</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-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</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">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">TAP</subfield><subfield code="n">17.</subfield><subfield code="d">2023</subfield><subfield code="c">Leicester</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1300461284</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tests and proofs</subfield><subfield code="b">17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings</subfield><subfield code="c">Virgile Prevosto, Cristina Seceleanu, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxii, 187 Seiten)</subfield><subfield code="b">65 Illustrationen, 17 in Farbe</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">14066</subfield><subfield code="x">1611-3349</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informal Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Models of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Leicester</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Prevosto, Virgile</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seceleanu, Cristina</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-031-38827-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-031-38829-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">14066</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">14066</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-38828-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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2023</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2023</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034344839</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-38828-6</subfield><subfield code="l">DE-522</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2023</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-031-38828-6</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</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-031-38828-6</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2023 Leicester gnd-content
genre_facet	Konferenzschrift 2023 Leicester
id	DE-604.BV049082957
illustrated	Illustrated
indexdate	2025-01-11T19:09:49Z
institution	BVB
institution_GND	(DE-588)1300461284
isbn	9783031388286
issn	1611-3349
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034344839
oclc_num	1392155115
open_access_boolean
owner	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-1049 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634
owner_facet	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-1049 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634
physical	1 Online-Ressource (xxii, 187 Seiten) 65 Illustrationen, 17 in Farbe
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2023 ZDB-2-LNC_2023 ZDB-2-LNC ZDB-2-LNC_2023
publishDate	2023
publishDateSearch	2023
publishDateSort	2023
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings Lecture notes in computer science Informal Logic Models of Computation Reasoning Computer science
subject_GND	(DE-588)1071861417
title	Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings
title_auth	Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings
title_exact_search	Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings
title_full	Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings Virgile Prevosto, Cristina Seceleanu, editors
title_fullStr	Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings Virgile Prevosto, Cristina Seceleanu, editors
title_full_unstemmed	Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings Virgile Prevosto, Cristina Seceleanu, editors
title_short	Tests and proofs
title_sort	tests and proofs 17th international conference tap 2023 leicester uk july 18 19 2023 proceedings
title_sub	17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings
topic	Informal Logic Models of Computation Reasoning Computer science
topic_facet	Informal Logic Models of Computation Reasoning Computer science Konferenzschrift 2023 Leicester
url	https://doi.org/10.1007/978-3-031-38828-6
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT tapleicester testsandproofs17thinternationalconferencetap2023leicesterukjuly18192023proceedings AT prevostovirgile testsandproofs17thinternationalconferencetap2023leicesterukjuly18192023proceedings AT seceleanucristina testsandproofs17thinternationalconferencetap2023leicesterukjuly18192023proceedings

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen