Aart Middeldorp - Böcker

Visar alla böcker från författaren Aart Middeldorp.

5 produkter

Kategorier

5 produkter

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

AvAmy P. Felty,Aart Middeldorp

Häftad, Engelska, 2015

709 kr

Skickas inom 10-15 vardagar

Processes, Terms and Cycles: Steps on the Road to Infinity

Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

AvAart Middeldorp,Vincent van Oostrom m. fl.

Häftad, Engelska, 2005

1 369 kr

Skickas inom 10-15 vardagar

Rewriting Techniques and Applications

12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

AvAart Middeldorp

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

Functional and Logic Programming

4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

AvAart Middeldorp,Taisuke Sato

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar

Logic for Programming, Artificial Intelligence, and Reasoning

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

AvKen McMillan,Aart Middeldorp m. fl.

Häftad, Engelska, 2013

709 kr

Skickas inom 10-15 vardagar

Loading component...

Loading component...

Aart Middeldorp - Böcker

Automated Deduction - CADE-25

Processes, Terms and Cycles: Steps on the Road to Infinity

Rewriting Techniques and Applications

Functional and Logic Programming

Logic for Programming, Artificial Intelligence, and Reasoning

Loading component...

Akademibokhandeln

Akademibokhandeln

Hjälp

Hjälp

Tjänster

Tjänster

Erbjudanden

Erbjudanden

Inspiration

Inspiration

Loading component...

Aart Middeldorp - Böcker

Automated Deduction - CADE-25

Processes, Terms and Cycles: Steps on the Road to Infinity

Rewriting Techniques and Applications

Functional and Logic Programming

Logic for Programming, Artificial Intelligence, and Reasoning

Akademibokhandeln

Akademibokhandeln

Hjälp

Hjälp

Tjänster

Tjänster

Erbjudanden

Erbjudanden

Inspiration

Inspiration