Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- completion 2 Treffer
- equational reasoning 2 Treffer
- term rewriting 2 Treffer
- algorithm 1 Treffer
- artificial intelligence 1 Treffer
-
11 weitere Werte:
- automated reasoning 1 Treffer
- automated theorem proving 1 Treffer
- computational theory and mathematics 1 Treffer
- critical pair 1 Treffer
- data structure 1 Treffer
- extension (predicate logic) 1 Treffer
- mathematics 1 Treffer
- reduction (complexity) 1 Treffer
- rule of inference 1 Treffer
- set (abstract data type) 1 Treffer
- software 1 Treffer
Verlag
Sprache
2 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 23 (1999), S. 25-42Online unknownZugriff: