KIRJAUDU

ostoskori

avaa valikko

Thomas Huber (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 13 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 (ed.); Phillip J. Windley (ed.); James Alves-Foss (ed.)
Springer (1995)
Pehmeäkantinen kirja

51,40 €

DUSTY/COMPLEX PLASMAS: BASIC AND INTERDISCIPLINARY RESEARCH: : SIXTH INTERNATIONAL CONFERENCE ON THE PHYSICS OF DUSTY PLASMAS

Vladimir Yu. Nosenko (ed.); Padma K. Shukla (ed.); Markus H. Thoma (ed.); Hubertus M. Thomas (ed.)
American Institute of Physics (2012)
Pehmeäkantinen kirja

134,50 €

D&D: FÜRSTEN DER APOKALYPSE

Richard Baker; Ed Greenwood; David Noonan; Thomas M. Reid; Stephen Schubert; Steven Townshend; Jeff Ludwig; R J. Schwalb
Ulisses Spiel&Medien (2020)
Kovakantinen kirja

85,60 €

DIE ARABISCHE HALBINSEL : GEOGRAPHIE UND POLITIK

Thomas Demmelhuber (ed.); PD Dr. Nadine Scharfenort (ed.)
Springer (2025)
Kovakantinen kirja

43,40 €

STRUCTURAL PROTEOMICS : HIGH-THROUGHPUT METHODS

Bostjan Kobe (ed.); Mitchell Guss (ed.); Thomas Huber (ed.)
Humana (2008)
Kovakantinen kirja

179,00 €

STRUCTURAL PROTEOMICS : HIGH-THROUGHPUT METHODS

Bostjan Kobe (ed.); Mitchell Guss (ed.); Thomas Huber (ed.)
Humana (2010)
Pehmeäkantinen kirja

179,00 €

THE CLIMATE IN HISTORICAL TIMES : TOWARDS A SYNTHESIS OF HOLOCENE PROXY DATA AND CLIMATE MODELS

Hubertus Fischer (ed.); Thomas Kumke (ed.); Gerrit Lohmann (ed.); Heinrich Miller (ed.); Jorg Negendank (ed.)
Springer (2011)
Pehmeäkantinen kirja

179,00 €

SPACECRAFT OPERATIONS

Thomas Uhlig (ed.); Florian Sellmaier (ed.); Michael Schmidhuber (ed.)
Springer (2016)
Pehmeäkantinen kirja

81,40 €

SOZIALPSYCHOLOGISCHES ORGANISATIONSVERSTEHEN

Thomas Leithäuser (ed.); Sylke Meyerhuber (ed.); Michael Schottmayer (ed.)
VS Verlag für Sozialwissenschaften (2009)
Pehmeäkantinen kirja

52,80 €

AUTONOME SHUTTLEBUSSE IM ÖPNV : ANALYSEN UND BEWERTUNGEN ZUM FALLBEISPIEL BAD BIRNBACH AUS TECHNISCHER, GESELLSCHAFTLICHER UND P

Andreas Riener (ed.); Alexandra Appel (ed.); Wolfgang Dorner (ed.); Thomas Huber (ed.); Jan Christopher Kolb (ed.); Wagner
Springer Vieweg (2019)
Kovakantinen kirja

51,40 €

SPACECRAFT OPERATIONS

Florian Sellmaier (ed.); Thomas Uhlig (ed.); Michael Schmidhuber (ed.)
Springer (2022)
Kovakantinen kirja

161,20 €

SPACECRAFT OPERATIONS

Florian Sellmaier (ed.); Thomas Uhlig (ed.); Michael Schmidhuber (ed.)
Springer (2023)
Pehmeäkantinen kirja

131,40 €

THE POLITICAL SYSTEMS OF EAST ASIA : AN INTRODUCTION

Claudia Derichs (ed.); Thomas Heberer (ed.); Gunter Schubert (ed.)
Springer (2024)
Pehmeäkantinen kirja

86,40 €

Hae lisää...

Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1

E. Thomas Schubert (ed.), Phillip J. Windley (ed.), James Alves-Foss (ed.)

51,40 €

Springer
Sivumäärä: 408 sivua
Asu: Pehmeäkantinen kirja
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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus