Artificial Intelligence - General, Logic & Foundations of Mathematics, Computer Mathematics

Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Author: Swart H. De
ISBN: 9783540644064

by Goos, G., Hartmanis, J., Van Leeuwen

Write a review

Sort:

Show only reviews of this edition

There are no reviews yet.

Discover your
next great read.

Already a member?
Log in