SULJE VALIKKO

avaa valikko

Thomas Huber | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 582 tuotetta
Haluatko tarkentaa hakukriteerejä?



Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1
E. Thomas Schubert; Phillip J. Windley; James Alves-Foss
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1995)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Bayerns beste Seiten
Joseph Berlinger; Katharina Bromberger; Gaby Funk; Thomas Grasberger; Gerald Huber; Leo Loy
Travel House Media GmbH (2010)
Pehmeäkantinen kirja
56,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Praktische Personalwirtschaft - Eine praxisorientierte Einführung
Thomas Bartscher; Anne Huber
Gabler (2007)
Pehmeäkantinen kirja
36,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Qualifikationsreserven durch Quereinstieg nutzen!
Franziska Diller; Dagmar Festner; Thomas Freiling; Silke Huber
Bertelsmann W. (2011)
Pehmeäkantinen kirja
57,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Das Sixpack-Kochbuch
Thomas Sykora; Heino Huber
Pichler Verlag (2011)
Kovakantinen kirja
55,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Gottes Werk und Adams Beitrag - Formen der Interaktion zwischen Mensch und Gott im Mittelalter
Thomas Honegger; Gerlinde Huber-Rebenich; Volker Leppin
De Gruyter (2014)
Kovakantinen kirja
120,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Vollgeld
Thomas Mayer; Roman Huber
Tectum Verlag (2014)
Pehmeäkantinen kirja
22,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Geld - Schulden - Was Jetzt?
Thomas Berghuber; Mag Thomas Berghuber
Tredition Gmbh (2015)
Pehmeäkantinen kirja
42,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Besonderes Verwaltungsrecht
Wilfried Erbguth; Thomas Mann; Mathias Schubert
Müller Jur.Vlg.C.F. (2015)
Pehmeäkantinen kirja
65,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
complete angler and huntsman
Hubert Hutton Thomas
Nobel Press (2011)
123,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Doctrine of Eternal Hell Torments Overthrown - In Three Parts
Samuel Richardson; Thomas Whittemore; Marie Huber
Andesite Press (2015)
Kovakantinen kirja
65,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Burger Unser
Hubertus Tzschirner; Nicolas Lecloux; Thomas Vilgis; Nils Jorra
Callwey GmbH (2020)
Kovakantinen kirja
46,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Evolution of Englishes - The Dynamic Model and beyond
Sarah Buschfeld; Thomas Hoffmann; Magnus Huber; Alexander Kautzsch
John Benjamins Publishing Co (2014)
Kovakantinen kirja
173,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
DOCTRINE OF ETERNAL HELL TORME
Samuel Richardson; Thomas Whittemore; Marie Huber
LIGHTNING SOURCE INC (2016)
Kovakantinen kirja
73,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Wie Banken Geld Aus Nichts Erzeugen - Und Wie Vollgeld Das Andert
Thomas Mayer; Roman Huber
Tectum (2018)
Pehmeäkantinen kirja
41,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Geld - Schulden - Was Jetzt?
Mag Thomas Berghuber; Thomas Berghuber
Tredition Gmbh (2017)
Kovakantinen kirja
48,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Doctrine of Eternal Hell Torments Overthrown: In Three Parts
Samuel Richardson; Thomas Whittemore; Marie Huber
Andesite Press (2017)
47,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Doctrine of Eternal Hell Torments Overthrown: In Three Parts
Samuel Richardson; Thomas Whittemore; Marie Huber
FRANKLIN CLASSICS (2018)
Kovakantinen kirja
75,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Doctrine of Eternal Hell Torments Overthrown: In Three Parts
Samuel Richardson; Thomas Whittemore; Marie Huber
FRANKLIN CLASSICS (2018)
Pehmeäkantinen kirja
51,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Doctrine of Eternal Hell Torments Overthrown: In Three Parts
Samuel Richardson; Thomas Whittemore; Marie Huber
FRANKLIN CLASSICS TRADE PR (2018)
Pehmeäkantinen kirja
53,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1
51,40 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 408 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995 ed.
Julkaisuvuosi: 1995, 23.08.1995 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 971
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.
The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1zoom
Näytä kaikki tuotetiedot
ISBN:
9783540602750
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste