All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings ... Notes in Computer Science, 780, Band 780)
product image
product image
product image
product image

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings ... Notes in Computer Science, 780, Band 780)

53.24 EUR 0% Off 53.49 EUR

Marke: Springer Berlin Heidelberg
ISBN: 3540578269
MPN: 6902952

Ähnliche Produkte

Isabelle/HOL

59.35 EUR 64.19 EUR
Produkt anzeigen

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ... Notes in Computer Science, 816, Band 816)

53.49 EUR
Produkt anzeigen

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, 971, Band 971)

53.49 EUR
Produkt anzeigen

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074, Band 1074)

53.49 EUR
Produkt anzeigen