Roy Dyckhoff - Böcker

Visar alla böcker från författaren Roy Dyckhoff.
3 produkter
Roy Dyckhoff - Extensions of Logic Programming, Häftad

Extensions of Logic Programming

Av Roy Dyckhoff

Häftad, Engelska, 1994

739 kr

Skickas inom 7-10 vardagar
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister - Extensions of Logic Programming, Häftad

Extensions of Logic Programming

Av Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

Häftad, Engelska, 1996

739 kr

Skickas inom 7-10 vardagar
Roy Dyckhoff - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad

Automated Reasoning with Analytic Tableaux and Related Methods

Av Roy Dyckhoff

Häftad, Engelska, 2000

739 kr

Skickas inom 7-10 vardagar