Obálka

Theorembeweisen mit assoziativen Prozessoren.

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Dilger, Werner
Médium:	Kniha
Jazyk:	němčina
Vydáno:	Kaiserslautern Univ., Fachbereich Informatik 1985
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Order eBook:
Order Book:	Login to order

Obálka

A Theorem proving associative processor. Autor Dilger, Werner

Vydáno 1985

Kniha

Obálka

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

Vydáno 1984

Kniha

Obálka

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

Vydáno 1983

Kniha

Obálka

Baumgesteuerte Grammatiken. Autor Dilger, Werner

Vydáno 1983

Kniha

Obálka

Einführung in die Markgraf Karl Refutation Procedure Autor Dilger, Werner

Vydáno 1981

Kniha