Explore the latest books of this year!

The book is currently out of stock

Mechanizing inductive theorem proving in conditional theories

Authors

Ulrich Fraus

Parameters

Computers, IT, Programming

Book purchase

Mechanizing inductive theorem proving in conditional theories, Ulrich Fraus

Language
Released: 1995

We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating

Edition detailsSuggest a correction