Christian G. Fermüller - Böcker

Visar alla böcker från författaren Christian G. Fermüller.
2 produkter
Uwe Egly, Christian G. Fernmüller, Christian G. Fermüller - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad

Automated Reasoning with Analytic Tableaux and Related Methods

Av Uwe Egly, Christian G. Fernmüller, Christian G. Fermüller

Häftad, Engelska, 2002

739 kr

Skickas inom 7-10 vardagar
Christian G. Fermüller, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Logic for Programming, Artificial Intelligence, and Reasoning

Av Christian G. Fermüller, Andrei Voronkov

Häftad, Engelska, 2010

1 459 kr

Skickas inom 7-10 vardagar