Isbn: 9780444898807 - higher order logic theorem proving and its applications: proceedings of the ifip/wg10.2 international workshop, leuven, belgium, 21-24 september 1992 ... a, computer science and technology, a-20) (1 Ergebnisse)
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P
Claesen, L. J. M. (Editor) / Gordon, M. J. C. (Series Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 243,93
EUR 14,53 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 568 pages. 9.25x6.00x1.00 inches. In Stock.
