This image is currently not available.

Higher Order Logic Theorem Proving and Its Applications

6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Published on 1. May 1994
Book
Paperback/Softback
517 pages
978-0-387-57826-2 (ISBN)
€59.80incl. 7% vat
Article not available

More details