Haullasi löytyi yhteensä 582 tuotettaHaluatko tarkentaa hakukriteerejä? Suosituimmat ensin Aakkosjärjestys Vuosijärjestys Viimeksi lisätyt Viimeksi julkaistut
E. Thomas Schubert; Phillip J. Windley; James Alves-Foss Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1995) Pehmeäkantinen kirja
51,40 €
Joseph Berlinger; Katharina Bromberger; Gaby Funk; Thomas Grasberger; Gerald Huber; Leo Loy Travel House Media GmbH (2010) Pehmeäkantinen kirja
56,40 €
Thomas Bartscher; Anne Huber Gabler (2007) Pehmeäkantinen kirja
36,90 €
Franziska Diller; Dagmar Festner; Thomas Freiling; Silke Huber Bertelsmann W. (2011) Pehmeäkantinen kirja
57,30 €
Thomas Sykora; Heino Huber Pichler Verlag (2011) Kovakantinen kirja
55,20 €
Thomas Honegger; Gerlinde Huber-Rebenich; Volker Leppin De Gruyter (2014) Kovakantinen kirja
120,90 €
Thomas Mayer; Roman Huber Tectum Verlag (2014) Pehmeäkantinen kirja
22,90 €
Thomas Berghuber; Mag Thomas Berghuber Tredition Gmbh (2015) Pehmeäkantinen kirja
42,50 €
Wilfried Erbguth; Thomas Mann; Mathias Schubert Müller Jur.Vlg.C.F. (2015) Pehmeäkantinen kirja
65,10 €
Hubert Hutton Thomas Nobel Press (2011)
123,50 €
Samuel Richardson; Thomas Whittemore; Marie Huber Andesite Press (2015) Kovakantinen kirja
65,50 €
Hubertus Tzschirner; Nicolas Lecloux; Thomas Vilgis; Nils Jorra Callwey GmbH (2020) Kovakantinen kirja
46,50 €
Sarah Buschfeld; Thomas Hoffmann; Magnus Huber; Alexander Kautzsch John Benjamins Publishing Co (2014) Kovakantinen kirja
173,40 €
Samuel Richardson; Thomas Whittemore; Marie Huber LIGHTNING SOURCE INC (2016) Kovakantinen kirja
73,90 €
Thomas Mayer; Roman Huber Tectum (2018) Pehmeäkantinen kirja
41,30 €
Mag Thomas Berghuber; Thomas Berghuber Tredition Gmbh (2017) Kovakantinen kirja
48,00 €
Samuel Richardson; Thomas Whittemore; Marie Huber Andesite Press (2017)
47,90 €
Samuel Richardson; Thomas Whittemore; Marie Huber FRANKLIN CLASSICS (2018) Kovakantinen kirja
75,60 €
Samuel Richardson; Thomas Whittemore; Marie Huber FRANKLIN CLASSICS (2018) Pehmeäkantinen kirja
51,80 €
Samuel Richardson; Thomas Whittemore; Marie Huber FRANKLIN CLASSICS TRADE PR (2018) Pehmeäkantinen kirja
53,70 €
Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1
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.
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa