KIRJAUDU

ostoskori

avaa valikko

Thomas E - Hill | Akateeminen Kirjakauppa

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

VIRTUE, RULES, AND JUSTICE - KANTIAN ASPIRATIONS

Hill; Jr; Thomas E.
Oxford University Press (2012)
Pehmeäkantinen kirja

59,80 €

REVISION TOTAL HIP ARTHROPLASTY

James V. Bono (ed.); Joseph C. McCarthy (ed.); Thomas S. Thornhill (ed.); Benjamin E. Bierbaum (ed.); Roderick H. (e Turner
Springer (2012)
Pehmeäkantinen kirja

51,40 €

HUMAN WELFARE AND MORAL WORTH - KANTIAN PERSPECTIVES

Hill; Jr.; Thomas E.
Oxford University Press (2002)
Pehmeäkantinen kirja

68,30 €

RESPECT, PLURALISM, AND JUSTICE - KANTIAN PERSPECTIVES

Thomas E. Hill
Oxford University Press (2000)
Pehmeäkantinen kirja

64,30 €

AUTONOMY AND SELF-RESPECT

Jr Thomas E. Hill
Cambridge University Press (1991)
Pehmeäkantinen kirja

57,90 €

IMMANUEL KANT - GROUNDWORK FOR THE METAPHYSICS OF MORALS

Hill; Jr.; Thomas E.
Oxford University Press (2003)
Pehmeäkantinen kirja

43,60 €

ACTS AND ETHICS

Thomas E. Phillips
Sheffield Phoenix Press (2005)
Kovakantinen kirja

105,90 €

CONTEMPORARY STUDIES IN ACTS

Thomas E. Phillips
Mercer University Press (2009)
Pehmeäkantinen kirja

43,40 €

THE BLACKWELL GUIDE TO KANT'S ETHICS

Thomas E. Hill
John Wiley and Sons Ltd (2009)
Pehmeäkantinen kirja

42,00 €

MONEY FOUND

Hill; Kenan Professor of Philosophy Thomas E; Jr.
BiblioLife (2009)
Pehmeäkantinen kirja

52,20 €

MONEY FOUND

Hill; Kenan Professor of Philosophy Thomas E; Jr.
BiblioLife (2009)
Kovakantinen kirja

68,20 €

THE BLACKWELL GUIDE TO KANT'S ETHICS

Thomas E. Hill
John Wiley and Sons Ltd (2009)
Kovakantinen kirja

112,10 €

ACTS IN DIVERSE FRAMES OF REFERENCE

Thomas E. Phillips
Mercer University Press (2009)
Pehmeäkantinen kirja

37,20 €

PAUL, HIS LETTERS, AND ACTS

Thomas E. Phillips
HENDRICKSON PUBL (2010)
Pehmeäkantinen kirja

59,20 €

HILL'S REFERENCE GUIDE FOR LAND SEEKERS, TRAVELERS, SCHOOLS, TOURISTS, EMIGRANTS AND GENERAL READERS, INCLUDING DESCRIPTION AND

Thomas E. - Hill
Nabu Press (2010)
Pehmeäkantinen kirja

25,50 €

HILL'S SOUVENIR GUIDE TO CHICAGO AND THE WORLD'S FAIR

Thomas E. Hill
BERTRAMS PRINT ON DEMAND (2010)
Pehmeäkantinen kirja

53,90 €

HILL'S MANUAL OF SOCIAL AND BUSINESS FORMS: A GUIDE TO CORRECT WRITING

Thomas E. - Hill
Nabu Press (2010)
Pehmeäkantinen kirja

87,10 €

THE OPEN DOOR TO INDEPENDENCE; MAKING MONEY FROM THE SOIL; WHAT TO DO--HOW TO DO, ON CITY LOTS, SUBURBAN GROUNDS, COUNTRY FARMS,

Thomas E. - Hill
Nabu Press (2010)
Pehmeäkantinen kirja

37,30 €

HILL'S MANUAL OF SOCIAL AND BUSINESS FORMS: A GUIDE TO CORRECT WRITING SHOWING HOW TO EXPRESS WRITTEN THOUGHT PLAINLY, RAPIDLY,

Thomas E. Hill
Nabu Press (2010)
Pehmeäkantinen kirja

69,60 €

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