Knihu momentálně nemáme skladem

Automatisiertes Schliessen über Kausalbeziehungen mit SLDENF-Resolution

Autoři

Michael Thielscher

Parametry

ISBN: 9783929037760
Nakladatelství: Infix

Kategorie

Navrhnout úpravu

Varianta knihy

1995

Nákup knihy

Kniha aktuálně není skladem.