Sortiert nach
Lecture notes in computer science, 2002, p.51-63
2002
Volltextzugriff (PDF)
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, p.51-63
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Abstract Convertibility Relation
- Abstract Rewrite Tree
- Logicality
- Semi-Commutation
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Integration Of Logical Reasoning And Computer Algebra
- Logical, Boolean And Switching Functions
- Reasoning
- Term Rewriting
- Theoretical Computing
Kollektion