Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Alan Bundy

Books by author

Alan Bundy

The Computer Modelling of Mathematical Reasoning

The Computer Modelling of Mathematical Reasoning

1986 · ENGLISH · PDF

View details →

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

2000 · ENGLISH · PDF

View details →

Catalogue of Artificial Intelligence Tools

Catalogue of Artificial Intelligence Tools

1984 · ENGLISH · PDF

View details →

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

1999 · ENGLISH · PDF

View details →

The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning

1983 · ENGLISH · DJVU

View details →

The Nature of Mathematical Proof

The Nature of Mathematical Proof

2005 · ENGLISH · PDF

View details →

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

2005 · ENGLISH · PDF

View details →

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

1999 · ENGLISH · DJVU

View details →

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

2000 · ENGLISH · PDF

View details →

The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning

1983 · ENGLISH · DJVU

View details →

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

2005 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme