Malcolm Grundy | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

THEOREM PROVING IN HIGHER ORDER LOGICS - 11TH INTERNATIONAL CONFERENCE, TPHOLS'98, CANBERRA, AUSTRALIA, SEPTEMBER 27 - OCTOBER 1

Jim Grundy; Malcolm Newey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Pehmeäkantinen kirja

49,60 €

LEADERSHIP AND OVERSIGHT - NEW MODELS FOR EPISCOPAL MINISTRY

Malcolm Grundy
Continuum Publishing Corporation (2011)
Pehmeäkantinen kirja

40,50 €

UNHOLY CONSPIRACY: SCANDAL OF THE SEPARATION OF CHURCH AND INDUSTRY SINCE THE REFORMATION

Malcolm Grundy
CANTERBURY PR NORWICH (1992)
Pehmeäkantinen kirja

41,40 €

WHAT THEY DON'T TEACH YOU AT THEOLOGICAL COLLEGE - A PRACTICAL GUIDE TO LIFE IN THE MINISTRY

Malcolm Grundy
Canterbury Press Norwich (2003)
Pehmeäkantinen kirja

20,40 €

COMMUNITY WORK - A HANDBOOK FOR VOLUNTEER GROUPS AND LOCAL CHURCHES

Malcolm Grundy
Bloomsbury Publishing PLC (1994)
Pehmeäkantinen kirja

63,50 €

WHAT'S NEW IN CHURCH LEADERSHIP? - CREATIVE RESPONSES TO THE CHANGING PATTERN OF CHURCH LIFE

Malcolm Grundy
Canterbury Press Norwich (2007)
Pehmeäkantinen kirja

23,30 €

MULTI-CONGREGATION MINISTRY - THEOLOGY AND PRACTICE IN A CHANGING CHURCH

Malcolm Grundy
Canterbury Press Norwich (2015)
Pehmeäkantinen kirja

27,10 €

FAITH ON THE WAY - A PRACTICAL PARISH GUIDE TO THE ADULT CATECHUMENATE

Peter Ball; Malcolm Grundy
Bloomsbury Publishing PLC (2001)
Pehmeäkantinen kirja

37,80 €

Theorem Proving in Higher Order Logics - 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1

Jim Grundy, Malcolm Newey

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 496 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998 ed.
Julkaisuvuosi: 1998, 09.09.1998 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1479

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.
The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus