Einführung in die Markgraf Karl Refutation Procedure

Uloženo v:
Podrobná bibliografie
Hlavní autor: Dilger, Werner
Další autoři: Müller, Jürgen, Womann, Wolfgang
Médium: Kniha
Jazyk:němčina
Vydáno: Kaiserslautern Univ. 1981
Edice:Interner Bericht. Fachbereich Informatik Nr 40
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Order eBook:
Order Book: Login to order
Search Result 1

A Theorem proving associative processor. Autor Dilger, Werner

Vydáno 1985
Kniha
Search Result 2

Theorembeweisen mit assoziativen Prozessoren. Autor Dilger, Werner

Vydáno 1985
Kniha
Search Result 3

A Unification graph with constraints for intelligent backtracking in deduction systems. Autor Dilger, Werner

Vydáno 1984
Kniha
Search Result 4

Assoziative Prozessoren Werner Dilger, Otto Mayer, Jürgen Müller Autor Dilger, Werner

Vydáno 1983
Kniha
Search Result 5

Baumgesteuerte Grammatiken. Autor Dilger, Werner

Vydáno 1983
Kniha