Sortiert nach
International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.905-916
2021
Link zum Volltext
Logical methods in computer science, 2019-01, Vol.15, Issue 3
2019
Link zum Volltext
Journal of automated reasoning, 2011-12, Vol.47 (4), p.481-501
2011
Link zum Volltext
Logical methods in computer science, 2017-01, Vol.13, Issue 1
2017
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, p.481-500
Link zum Volltext
Automated Deduction - CADE-25, p.378-388
Link zum Volltext
Automated Reasoning, 2010, p.487-501
2010
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, p.550-564
Link zum Volltext
Logical methods in computer science, 2014-09, Vol.10, Issue 3
2014
Link zum Volltext
Lecture notes in computer science, 2004, p.249-268
2004
Link zum Volltext
Journal of automated reasoning, 2023-06, Vol.67 (2), p.14-14, Article 14
2023
Link zum Volltext
Automated Deduction - CADE-25, p.326-336
Link zum Volltext
Electronic proceedings in theoretical computer science, 2020, Vol.313, p.54-72
2020
Link zum Volltext
Information and computation, 2007-04, Vol.205 (4), p.474-511
2007
Link zum Volltext
Journal of automated reasoning, 2017-03, Vol.58 (3), p.311-312
2017
Link zum Volltext
IEICE Transactions on Information and Systems, 2009/02/01, Vol.E92.D(2), pp.220-234
2009
Link zum Volltext
Theoretical computer science, 2012-12, Vol.464, p.1-2
2012
Link zum Volltext
Theoretical computer science, 2012-12, Vol.464, p.1-2
2012
Link zum Volltext
Automated Deduction - CADE-25, 2015, p.311-325
2015
Link zum Volltext
Automated Deduction - CADE-25, p.591-606
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-02, Vol.49 (Proc. HOR 2010), p.46-57
2011
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science, Artificial Intelligence
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Mathematics
- Computer Science, Interdisciplinary Applications
- Robotics
- Computer Science, Software Engineering
- Function Symbol
- Language Theory And Syntactical Analysis
- Term Rewriting
- Sciences And Techniques Of General Use
- Physical Sciences
- Mathematical Logic, Foundations, Set Theory
- Logic And Foundations
Kollektion
- Ingenta
- Springer Book Series
- EZB Electronic Journals Library
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Journals@OVID
- ACM Digital Library Complete
- Cambridge Journals Online (DEFF)
- IEEE Xplore
Zeitschrift / Serie
- Information And Computation
- Journal Of Automated Reasoning
- Theoretical Computer Science
- Journal Of Symbolic Computation
- Electronic Notes In Theoretical Computer Science
- Lecture Notes In Computer Science
- Logical Methods In Computer Science
- Applicable Algebra In Engineering, Communication And Computing
- Electronic Proceedings In Theoretical Computer Science
- Ieice Transactions On Information And Systems
Neu hinzugefügt