KIRJAUDU

ostoskori

avaa valikko

E. Hubert | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 184 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 €

ENERGY FROM BIOMASS - A REVIEW OF COMBUSTION AND GASIFICATION TECHNOLOGIES

Peter Quaak; Harrie Knoef; Hubert E. Stassen
World Bank Publications (1999)
Pehmeäkantinen kirja

26,80 €

TRAVIS-EDWARDS, INC. V. HODGSON (JAMES) U.S. SUPREME COURT TRANSCRIPT OF RECORD WITH SUPPORTING PLEADINGS

Stanley E Neely; Richard F Schubert
Gale, U.S. Supreme Court Records (2011)
Pehmeäkantinen kirja

67,10 €

CULTURAL (DIS)CONNECTIONS

Ren e Hubert
BERTRAMS PRINT ON DEMAND (2006)
Pehmeäkantinen kirja

45,60 €

PILOT HERE OR PILE IT THERE: A MEMOIR

Hubert Usaf (Ret ).; Lt Col William E.
Author Solutions Inc (2006)
Pehmeäkantinen kirja

20,80 €

REMINSCENCES OF AN ATTACH

Sir Hubert E H (Hubert Edward Henry)
BiblioLife (2009)
Pehmeäkantinen kirja

54,70 €

REMINSCENCES OF AN ATTACH

Sir Hubert E H (Hubert Edward Henry)
BiblioLife (2009)
Kovakantinen kirja

71,30 €

THE ANCIENT LAWS OF WALES

Lewis Hubert; J E Lloyd
BiblioLife (2010)
Kovakantinen kirja

105,10 €

IM WETTKAMPF UM NEUE KUNDEN

René E. Hubert
Signum Verlag (2012)
Kovakantinen kirja

39,60 €

HOST OF OPPORTUNITIES

Hubert B. Van Hoof; Gary K. Vallen; Marilyn E. McDonald; Paul J. Wiener
(2006)
Pehmeäkantinen kirja

67,30 €

STEAM TURBINES; A BOOK OF INSTRUCTION FOR THE ADJUSTMENT AND OPERATION OF THE PRINCIPAL TYPES OF THIS CLASS OF PRIME MOVERS

Hubert E. 1872-1932 Collins
Kniga po trebovaniyu

16,90 €

STEAM TURBINES; A BOOK OF INSTRUCTION FOR THE ADJUSTMENT AND OPERATION OF THE PRINCIPAL TYPES OF THIS CLASS OF PRIME MOVERS

Collins; Hubert E. (Hubert Edwin)
Kniga po trebovaniyu

16,90 €

SHAFTING, PULLEYS, BELTING, ROPE TRANSMISSION AND SHAFT GOVERNORS

Hubert E. 1872-1932 Collins
Kniga po trebovaniyu

17,80 €

THE ANCIENT LAWS OF WALES

Lewis Hubert; J E Lloyd
BiblioLife (2010)
Pehmeäkantinen kirja

81,00 €

GOUVERNANCE ET VULN RABILIT S DU TERRITOIRE P RI-INDUSTRIEL

Hubert-E
Omniscriptum (2018)
Pehmeäkantinen kirja

179,80 €

FROM WEST TO EAST NOTES BY THE WAY

E. H. Jerningham Hubert
Nobel Press (2011)

123,70 €

THE ANCIENT LAWS OF WALES - SCHOLAR'S CHOICE EDITION

Lewis Hubert; J. E. Lloyd
LIGHTNING SOURCE INC (2015)
Pehmeäkantinen kirja

78,60 €

REVUE MEDICALE, 1884, VOL. 3 (CLASSIC REPRINT)

E Hubert
Forgotten Books (2016)
Pehmeäkantinen kirja

56,20 €

EFFECT OF KILN DRYING, STEAMING, AND AIR SEASONING ON CERTAIN FUNGI IN WOOD (CLASSIC REPRINT)

Ernest E Hubert
Forgotten Books (2018)
Pehmeäkantinen kirja

31,30 €

REVUE MEDICALE, 1893 (CLASSIC REPRINT)

E Hubert
Forgotten Books (2017)
Pehmeäkantinen kirja

56,20 €

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