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
Record link:
http://hdl.handle.net/20.500.12708/153840
-
Title:
First-Order Theorem Proving - Theory and Practice
en
Citation:
Kovacs, L. (2022, October 10).
First-Order Theorem Proving - Theory and Practice
[Conference Presentation]. Dagstuhl Seminar 22411 on Theory and Practice of SAT and Combinatorial Solving, Dagstuhl, Germany.
-
Publication Type:
Presentation - Conference Presentation
en
Vortrag - Conference Presentation
de
Language:
English
-
Authors:
Kovacs, Laura
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Date (published):
10-Oct-2022
-
Event name:
Dagstuhl Seminar 22411 on Theory and Practice of SAT and Combinatorial Solving
en
Event date:
10-Oct-2022 - 14-Oct-2022
-
Event place:
Dagstuhl, Germany
-
Keywords:
automated reasoning
en
Project title:
Automated Reasoning with Theories and Induction for Software Technologies
-
Project ID:
ERC Consolidator Grant 2020
-
Funder:
European Commission
-
Research Areas:
Computer Science Foundations: 100%
-
Science Branch:
1020 - Informatik: 100%
-
Appears in Collections:
Presentation
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
12
checked on Mar 30, 2023
Google Scholar
TM
Check