Author books / Книги автора Alan Bundy » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Alan Bundy

book The Computer Modelling of Mathematical Reasoning

The Computer Modelling of Mathematical Reasoning

pdf

Author: Alan Bundy
Language: English
Year: 1986

00

30.01.2024

0

0

book MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

pdf

Author: Raúl Monroy Alan Bundy Ian Green (auth.) Osvaldo Cairó L. Enrique Sucar Francisco J. Cantu (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

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

pdf

Author: John Slaney (auth.) Alan Bundy (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

pdf

Author: Ina Kraan David Basin Alan Bundy (auth.) Kung-Kiu Lau Bsc PhD Timothy Paul Clement Ma DPhil (eds.)
Language: English
Year: 1993

00

27.01.2024

1

0

book Catalogue of Artificial Intelligence Techniques

Catalogue of Artificial Intelligence Techniques

pdf

Author: Alan Bundy (auth.) Alan Bundy (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Catalogue of Artificial Intelligence Tools

Catalogue of Artificial Intelligence Tools

pdf

Author: Alan Bundy (auth.) Alan Bundy (eds.)
Language: English
Year: 1986

00

27.01.2024

0

0

book Catalogue of Artificial Intelligence Tools

Catalogue of Artificial Intelligence Tools

pdf

Author: Alan Bundy Lincoln Wallen (auth.) Alan Bundy Lincoln Wallen (eds.)
Language: English
Year: 1984

00

27.01.2024

1

0

book Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

pdf

Author: Alan Bundy Julian Richardson (auth.) Harald Ganzinger David McAllester Andrei Voronkov (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Artificial Intelligence Techniques: A Comprehensive Catalogue

Artificial Intelligence Techniques: A Comprehensive Catalogue

pdf

Author: Alan Bundy (auth.) Alan Bundy (eds.)
Language: English
Year: 1997

00

27.01.2024

0

0

book The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning

djvu

Author: Alan Bundy
Language: English
Year: 1983

00

27.01.2024

0

0