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
On-line přístup:	matching Alma Theorembeweisen mit assoziativen Prozessoren. (author 0.0%, title 100.0%, shelfmark 100.0%, overall 65.0%)
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Order eBook:
Order Book:	Login to order

A Theorem proving associative processor. Autor Dilger, Werner

Vydáno 1985

matching Alma A Theorem proving associative processor. (author 13.3%, title 0.0%, shelfmark 4.1%, overall 5.5%)

Kniha

Vydáno 1984

Kniha

Vydáno 1983

matching Alma Assoziative Prozessoren (author 13.8%, title 0.0%, shelfmark 12.5%, overall 7.3%)

Kniha

Vydáno 1983

matching Alma Baumgesteuerte Grammatiken. (author 7.4%, title 0.0%, shelfmark 6.1%, overall 3.8%)

Kniha

Vydáno 1981

Kniha