Handbook of Automated Reasoning View on Open Library

Handbook of Automated Reasoning

by Andrei Voronkov

No reviews yet
First published: 2001 1 language ISBN: 9780080929699
Subjects
Artificial intelligence Knowledge representation (information theory) Deductive databases Logic programming Functional programming (computer science)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!