Verfügbarkeit: Automated deduction – CADE 29

Automated deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Automated Deduction Rom (VerfasserIn)
Weitere Verfasser:	Pientka, Brigitte (HerausgeberIn), Tinelli, Cesare (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham, Switzerland Springer [2023]
Schriftenreihe:	Lecture notes in artificial intelligence 14132
Schlagworte:	Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Artificial intelligence Machine theory Computer science Software engineering Konferenzschrift > 01.07.2023-04.07.2023 > Rom
Online-Zugang:	20.500.12854/122165 Volltext Volltext
Beschreibung:	1 Online-Ressource
ISBN:	9783031384998
DOI:	10.1007/978-3-031-38499-8

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV049357937
003	DE-604
005	20231208
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	231011s2023 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783031384998 \|c Online \|9 978-3-031-38499-8
024	7		\|a 10.1007/978-3-031-38499-8 \|2 doi
035			\|a (ZDB-2-SCS)9783031384998
035			\|a (ZDB-2-LNC)9783031384998
035			\|a (ZDB-2-SOB)9783031384998
035			\|a (OCoLC)1403381806
035			\|a (DE-599)BVBBV049357937
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-522 \|a DE-525 \|a DE-12 \|a DE-634 \|a DE-210 \|a DE-521 \|a DE-1102 \|a DE-1046 \|a DE-858 \|a DE-1028 \|a DE-Aug4 \|a DE-1050 \|a DE-573 \|a DE-M347 \|a DE-92 \|a DE-1051 \|a DE-898 \|a DE-859 \|a DE-860 \|a DE-1049 \|a DE-861 \|a DE-188 \|a DE-863 \|a DE-862 \|a DE-523 \|a DE-Re13 \|a DE-Y3 \|a DE-255 \|a DE-Y7 \|a DE-Y2 \|a DE-70 \|a DE-2174 \|a DE-127 \|a DE-22 \|a DE-155 \|a DE-150 \|a DE-91 \|a DE-384 \|a DE-473 \|a DE-19 \|a DE-355 \|a DE-703 \|a DE-20 \|a DE-706 \|a DE-824 \|a DE-29 \|a DE-739 \|a DE-235
082	0		\|a 006.3 \|2 23
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 000 \|2 stub
111	2		\|a International Conference on Automated Deduction \|n 29. \|d 2023 \|c Rom \|j Verfasser \|0 (DE-588)1305607554 \|4 aut
245	1	0	\|a Automated deduction – CADE 29 \|b 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings \|c Brigitte Pientka, Cesare Tinelli, editors
246	1	3	\|a Automated deduction - CADE 29
264		1	\|a Cham, Switzerland \|b Springer \|c [2023]
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in artificial intelligence \|v 14132
650		4	\|a Artificial Intelligence
650		4	\|a Formal Languages and Automata Theory
650		4	\|a Computer Science Logic and Foundations of Programming
650		4	\|a Software Engineering
650		4	\|a Artificial intelligence
650		4	\|a Machine theory
650		4	\|a Computer science
650		4	\|a Software engineering
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 01.07.2023-04.07.2023 \|z Rom \|2 gnd-content
700	1		\|a Pientka, Brigitte \|4 edt
700	1		\|a Tinelli, Cesare \|0 (DE-588)1251068472 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-031-38498-1
830		0	\|a Lecture notes in artificial intelligence \|v 14132 \|w (DE-604)BV014880109 \|9 14132
856			\|u 20.500.12854/122165
856	4	0	\|u https://doi.org/10.1007/978-3-031-38499-8 \|x Verlag \|z kostenfrei \|3 Volltext
856	4	0	\|u https://directory.doabooks.org/handle/20.500.12854/122165 \|x Verlag \|z kostenfrei \|3 Volltext
912			\|a ZDB-2-SOB \|a ZDB-94-OAB \|a ZDB-2-SCS \|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2023
940	1		\|q ZDB-2-LNC_2023
999			\|a oai:aleph.bib-bvb.de:BVB01-034618129

Datensatz im Suchindex

DE-BY-FWS_katkey	1054148
_version_	1806175411620544512
adam_txt
any_adam_object
any_adam_object_boolean
author2	Pientka, Brigitte Tinelli, Cesare
author2_role	edt edt
author2_variant	b p bp c t ct
author_GND	(DE-588)1251068472
author_corporate	International Conference on Automated Deduction Rom
author_corporate_role	aut
author_facet	Pientka, Brigitte Tinelli, Cesare International Conference on Automated Deduction Rom
author_sort	International Conference on Automated Deduction Rom
building	Verbundindex
bvnumber	BV049357937
classification_rvk	SS 4800
classification_tum	DAT 000
collection	ZDB-2-SOB ZDB-94-OAB ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783031384998 (ZDB-2-LNC)9783031384998 (ZDB-2-SOB)9783031384998 (OCoLC)1403381806 (DE-599)BVBBV049357937
dewey-full	006.3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	006 - Special computer methods
dewey-raw	006.3
dewey-search	006.3
dewey-sort	16.3
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/978-3-031-38499-8
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02762nmm a2200601zcb4500</leader><controlfield tag="001">BV049357937</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231208 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">231011s2023 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031384998</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-38499-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-38499-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031384998</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783031384998</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SOB)9783031384998</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1403381806</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049357937</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-522</subfield><subfield code="a">DE-525</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-Re13</subfield><subfield code="a">DE-Y3</subfield><subfield code="a">DE-255</subfield><subfield code="a">DE-Y7</subfield><subfield code="a">DE-Y2</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-2174</subfield><subfield code="a">DE-127</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-235</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Automated Deduction</subfield><subfield code="n">29.</subfield><subfield code="d">2023</subfield><subfield code="c">Rom</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1305607554</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated deduction – CADE 29</subfield><subfield code="b">29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings</subfield><subfield code="c">Brigitte Pientka, Cesare Tinelli, editors</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Automated deduction - CADE 29</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</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 artificial intelligence</subfield><subfield code="v">14132</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Languages and Automata Theory</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">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">01.07.2023-04.07.2023</subfield><subfield code="z">Rom</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pientka, Brigitte</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tinelli, Cesare</subfield><subfield code="0">(DE-588)1251068472</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, Paperback</subfield><subfield code="z">978-3-031-38498-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in artificial intelligence</subfield><subfield code="v">14132</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">14132</subfield></datafield><datafield tag="856" ind1=" " ind2=" "><subfield code="u">20.500.12854/122165</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-38499-8</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://directory.doabooks.org/handle/20.500.12854/122165</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SOB</subfield><subfield code="a">ZDB-94-OAB</subfield><subfield code="a">ZDB-2-SCS</subfield><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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034618129</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 01.07.2023-04.07.2023 Rom gnd-content
genre_facet	Konferenzschrift 01.07.2023-04.07.2023 Rom
id	DE-604.BV049357937
illustrated	Not Illustrated
index_date	2024-07-03T22:51:41Z
indexdate	2024-08-01T11:05:00Z
institution	BVB
institution_GND	(DE-588)1305607554
isbn	9783031384998
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034618129
oclc_num	1403381806
open_access_boolean	1
owner	DE-522 DE-525 DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-858 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-188 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-523 DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-150 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 DE-235
owner_facet	DE-522 DE-525 DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-858 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-188 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-523 DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-150 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 DE-235
physical	1 Online-Ressource
psigel	ZDB-2-SOB ZDB-94-OAB ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2023 ZDB-2-LNC_2023
publishDate	2023
publishDateSearch	2023
publishDateSort	2023
publisher	Springer
record_format	marc
series	Lecture notes in artificial intelligence
series2	Lecture notes in artificial intelligence
spellingShingle	Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings Lecture notes in artificial intelligence Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Artificial intelligence Machine theory Computer science Software engineering
subject_GND	(DE-588)1071861417
title	Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
title_alt	Automated deduction - CADE 29
title_auth	Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
title_exact_search	Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
title_exact_search_txtP	Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
title_full	Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings Brigitte Pientka, Cesare Tinelli, editors
title_fullStr	Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings Brigitte Pientka, Cesare Tinelli, editors
title_full_unstemmed	Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings Brigitte Pientka, Cesare Tinelli, editors
title_short	Automated deduction – CADE 29
title_sort	automated deduction cade 29 29th international conference on automated deduction rome italy july 1 4 2023 proceedings
title_sub	29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
topic	Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Artificial intelligence Machine theory Computer science Software engineering
topic_facet	Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Artificial intelligence Machine theory Computer science Software engineering Konferenzschrift 01.07.2023-04.07.2023 Rom
url	20.500.12854/122165 https://doi.org/10.1007/978-3-031-38499-8 https://directory.doabooks.org/handle/20.500.12854/122165
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT internationalconferenceonautomateddeductionrom automateddeductioncade2929thinternationalconferenceonautomateddeductionromeitalyjuly142023proceedings AT pientkabrigitte automateddeductioncade2929thinternationalconferenceonautomateddeductionromeitalyjuly142023proceedings AT tinellicesare automateddeductioncade2929thinternationalconferenceonautomateddeductionromeitalyjuly142023proceedings AT internationalconferenceonautomateddeductionrom automateddeductioncade29 AT pientkabrigitte automateddeductioncade29 AT tinellicesare automateddeductioncade29

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge