Hoppa till sidans huvudinnehåll

Roy Dyckhoff – författare

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

Extensions of Logic Programming

4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings

AvRoy Dyckhoff

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister - Extensions of Logic Programming, Häftad

Extensions of Logic Programming

5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

AvRoy Dyckhoff,Heinrich Herrem. fl.

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Roy Dyckhoff - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

AvRoy Dyckhoff

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar