Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications | 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Price: 59.59 EUR
Availability: OutOfStock
ISBN: 978-0-387-57826-2

6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

Jeffrey J. Joyce Carl-Johan H. Seger Hol User's Group Workshop(Autor*in)

Springer (Verlag)

Erschienen am 1. Mai 1994

Buch

Softcover

517 Seiten

978-0-387-57826-2 (ISBN)

59,59 €inkl. 7% MwSt.

Artikel leider nicht lieferbar

Weitere Details

Als PDF speichern Als Link merken