Automated Deduction - Cade-12 View on Open Library

Automated Deduction - Cade-12

by Alan Bundy

No reviews yet
First published: 1994 1 language ISBN: 9783540581567

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Alan Bundy

Catalogue of artificial intelligence tools

Catalogue of artificial intelligence too...

Catalogue of artificial intelligence techniques

Catalogue of artificial intelligence tec...

Rippling

Rippling

Artificial Intelligence Techniques

Artificial Intelligence Techniques

Australian and New Zealand information literacy framework

Australian and New Zealand information l...

Eco-logic

Eco-logic