Higher Order Logic Theorem Proving and Its Applications
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Autor:
Springer Berlin Heidelberg
Verlag:
Springer Berlin Heidelberg
Sprache:
English
Keine Beschreibung für das Buch
CHF 69.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
ISBN
978-3-540-60275-0
EAN
9783540602750
Erscheinungsjahr
8/23/1995
Edition
1995
Verlag
Springer Berlin Heidelberg
Sprache
English
Springer Berlin Heidelberg weitere Bücher
The Panoramic Seer
CHF 26.50
Internationales Personalmanagement und d
CHF 24.90
Documents, Chiefly Unpublished, Relating
CHF 43.90
10-Minuten-Rätsel und -Spiele Religion K
CHF 32.50
Cybernetics and Control Theory in System
CHF 236.00
Angels All Around You: Agents and Ambass
CHF 21.50
So übe ich meine Lernwörter
CHF 28.70
Gestalten Klassenzimmer - mehr als Baste
CHF 35.00
100 tolle Sport- und Bewegungsspiele, Kl
CHF 31.50
66 Spielideen Geschichte
CHF 27.50
My Way to Good Manners
CHF 22.50
Integrating Individual And Family Therap
CHF 80.60
Rätselspaß Deutsch
CHF 35.00
Four: The Son
CHF 3.81
Three Battles of Sand Creek
CHF 22.55
Every Single Second
CHF 8.59
Milan & the Italian Lakes
CHF 7.75
Narrating the News
CHF 38.05
Faces of Women and Aging
CHF 85.75
The Plays and Poems of Nicholas Rowe, Vo
CHF 276.05
Forever Red
CHF 28.35
Spielend fit in Mathe Funktionen und Zuo
CHF 35.00
Hegel on the Modern Arts
CHF 28.35
Hegel and Psychoanalysis
CHF 76.75
Haftung bei unternehmerischen Fehlentsch
CHF 22.50
Arthur Symons
CHF 66.40
Staying in the Birthing Place: Bethlehem
CHF 21.90
Death at the Edges of Empire
CHF 96.10
Hauswirtschaft für Anfänger
CHF 45.00
Moses, Muhammad and Nature's God in Earl
CHF 168.00
Bewertungen
0 Bewertungen
Anmeldung erforderlich