Hoppa till sidans huvudinnehåll

Alan Bundy – författare

Visar alla böcker från författaren .
4 produkter
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland - Rippling: Meta-Level Guidance for Mathematical Reasoning, Inbunden
Del 56 - Cambridge Tracts in Theoretical Computer Science

Rippling: Meta-Level Guidance for Mathematical Reasoning

AvAlan Bundy,David Basinm. fl.

Inbunden, Engelska, 2005

2 039 kr

Skickas inom 7-10 vardagar

Alan Bundy - Automated Deduction — CADE-12, Häftad

Automated Deduction — CADE-12

12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings

AvAlan Bundy

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Alan Bundy - Artificial Intelligence Techniques, Häftad

Artificial Intelligence Techniques

A Comprehensive Catalogue

AvAlan Bundy

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Alan Bundy, Alan Bundy - Catalogue of Artificial Intelligence Techniques, Häftad

Catalogue of Artificial Intelligence Techniques

AvAlan Bundy,Alan Bundy

Häftad, Engelska, 2012

1 869 kr

Skickas inom 5-8 vardagar