Roy Dyckhoff - Böcker

Visar alla böcker från författaren Roy Dyckhoff.

3 produkter

Kategorier

3 produkter

Extensions of Logic Programming

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

Av Roy Dyckhoff

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Extensions of Logic Programming

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

Av Roy Dyckhoff, Heinrich Herre m. fl

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Automated Reasoning with Analytic Tableaux and Related Methods

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

Av Roy Dyckhoff

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar