Sortiert nach
Theoretical computer science, 2015-11, Vol.606, p.25-41
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2013-03, Vol.113 (Proc. LSFA 2012), p.27-44
2013
Link zum Volltext
The bulletin of symbolic logic, 2015-12, Vol.21 (4), p.373-401
2015
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, p.13-27
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, p.335-342
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Logic
- Modal Logic
- Modal Logics
- Science & Technology - Other Topics
- Symmetry
- Atoms
- Automated Theorem Proving
- Automorphisms
- Benchmarks
- Blocking
- Blocking Mechanism
- Calculus
- Clique Number
- Command Line Tool
- Computer Science, Software Engineering
Kollektion
Zeitschrift / Serie