KIRJAUDU

ostoskori

avaa valikko

James E Thomas | Akateeminen Kirjakauppa

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

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 €

PLAY AND EARLY CHILDHOOD DEVELOPMENT

James E. Johnson; James Christie; Thomas D. Yawkey
(1999)
Pehmeäkantinen kirja

64,60 €

KALAMAZOO COUNTY DIRECTORY: WITH A HISTORY OF THE COUNTY FROM ITS EARLIEST SETTLEMENT .

James M. Thomas; Gregory E. Pritchard
Kniga po trebovaniyu

18,00 €

KALAMAZOO COUNTY DIRECTORY: WITH A HISTORY OF THE COUNTY FROM ITS EARLIEST .

Thomas; James M .; Kalamazoo; Mich .; Pub; James M Thomas; Gregory E Pritchard
Kniga po trebovaniyu

18,00 €

MANAGEMENT ACCOUNTING - A ROAD OF DISCOVERY

James E. Mackey; Michael Thomas
Cengage Learning, Inc (1999)
Kovakantinen kirja

194,10 €

SOUTHERN LITERARY MESSENGER, VOLUME 14

James E Heath; Thomas W White; John Reuben Thompson
Arkose Press (2015)
Kovakantinen kirja

81,90 €

NAVIGATING THROUGH PROBABILITY IN GRADES 6-8

George W. Bright; Dargan Frierson Jr; James E. Tarr; Cynthia Thomas
National Council of Teachers of Mathematics,U.S. (2003)
Kovakantinen kirja

107,20 €

JESUIT INTELLECTUAL AND PHYSICAL EXCHANGE BETWEEN ENGLAND AND MAINLAND EUROPE, C. 1580–1789 - "THE WORLD IS OUR HOUSE"?

James E. Kelly; Hannah Thomas
Brill (2018)
Kovakantinen kirja

194,00 €

SPORT GOVERNANCE IN THE GLOBAL COMMUNITY

James E Thomas; Laurence Chalip
Fitness Information Technology, Inc, U.S. (2006)
Pehmeäkantinen kirja

64,40 €

YOUTUBE IN MUSIC EDUCATION

Thomas E. Rudolph; James T. Frankel
Hal Leonard Corporation (2009)
Pehmeäkantinen kirja

43,20 €

THE REVISED AND EXPANDED BOOK OF RACCOON CIRCLES

James Cain; Thomas E Smith
Kendall/Hunt Publishing Co ,U.S. (2006)
Pehmeäkantinen kirja

42,20 €

REDEMPTION OF A FALLEN ARCHON

James E Thomas
Xlibris (2011)
Pehmeäkantinen kirja

24,50 €

REDEMPTION OF A FALLEN ARCHON

James E Thomas
Xlibris (2011)
Kovakantinen kirja

43,70 €

BEHAVIOR MANAGEMENT

James E. Walker; Thomas M. Shea
(1998)
Pehmeäkantinen kirja

56,90 €

BEHAVIOR MANAGEMENT

James E. Walker; Thomas M. Shea; Anne M. Bauer
(2003)
Pehmeäkantinen kirja

58,20 €

BEHAVIOR MANAGEMENT

James E. Walker; Thomas M. Shea; Anne M. Bauer
(2006)
Pehmeäkantinen kirja

69,40 €

CLSRM MGMT TCHR&BHV MGMT

James E. Walker; Thomas M. Shea; Anne M. Bauer
(2003)
Pehmeäkantinen kirja

66,20 €

CLS MGMT&BHV MGT&UND PUR

James E. Walker; Thomas M. Shea; Anne M. Bauer
(2003)
Pehmeäkantinen kirja

70,70 €

BEHVR MANAGMNT

James E. Walker; Thomas M. Shea; Anne M. Bauer
(2003)
Pehmeäkantinen kirja

50,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