The Seventeen Provers of the World View on Open Library

The Seventeen Provers of the World

by Freek Wiedijk

No reviews yet
First published: 2006 1 language ISBN: 9783540328889
Subjects
Algebra Proof theory Data processing Computer programs Mathematics Computers Computers - General Information Computer Books: Languages Logic Artificial Intelligence - General

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!