Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
DC Field
Value
Language
dc.contributor.editor
Blanchette, Jasmin Christian
-
dc.contributor.editor
Kovacs, Laura
-
dc.contributor.editor
Pattinson, Dirk
-
dc.date.accessioned
2023-02-09T14:55:04Z
-
dc.date.available
2023-02-09T14:55:04Z
-
dc.date.issued
2022-08-08
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Blanchette, J. C., Kovacs, L., & Pattinson, D. (Eds.). (2022). <i>Automated Reasoning: 11th International Joint Conference (IJCAR 2022)</i> (Vol. 13385). Springer-Verlag. https://doi.org/10.1007/978-3-031-10769-6</div> </div>
-
dc.identifier.isbn
978-3-031-10768-9
-
dc.identifier.isbn
978-3-031-10769-6
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/150329
-
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Automated Reasoning
en
dc.title
Automated Reasoning: 11th International Joint Conference (IJCAR 2022)
en
dc.type
Proceedings
en
dc.type
Konferenzband
de
dc.contributor.editoraffiliation
Vrije Universiteit Amsterdam
-
dc.relation.issn
0302-9743
-
dc.relation.grantno
ERC Consolidator Grant 2020
-
dc.type.category
Full Paper Book
-
dc.relation.eissn
1611-3349
-
tuw.container.volume
13385
-
tuw.relation.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer-Verlag
-
tuw.relation.publisherplace
Madrid, Spain
-
tuw.project.title
Automated Reasoning with Theories and Induction for Software Technologies
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.1007/978-3-031-10769-6
-
tuw.editor.orcid
0000-0002-8367-0936
-
tuw.editor.orcid
0000-0002-8299-2714
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.openairetype
conference proceedings
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_f744
-
item.cerifentitytype
Publications
-
crisitem.project.funder
European Commission
-
crisitem.project.grantno
ERC Consolidator Grant 2020
-
Appears in Collections:
Proceedings
Show simple item record
Page view(s)
135
checked on Nov 23, 2023
Google Scholar
TM
Check