| book details |

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 - Proceedings

Edited by Joakim Wright, Edited by etc., Edited by J. Grundy, Edited by J. Harrison

| enquire |

| book description |

This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996.The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field.

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Bonsai Success in Southern Africa

Carl Morrow
Paperback / softback
160 pages
was: R 320.95
now: R 288.95
Stock is usually dispatched in 6-12 days from date of order

In this uniquely Southern African book, Carl Morrow and Keith Kirsten guide readers step by step into the magical realms of bonsai as a hobby, horticultural practice and art form.

| more |

| add to trolley |

Fifteen Dogs

AndrÃ© Alexis
Paperback / softback
176 pages
was: R 280.95
now: R 252.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

A pack of dogs are granted the power of human thought - but what will it do to them? A surprising and insightful look at the beauty and perils of consciousness.

| more |

| add to trolley |

The Ballerina and the Bull: Anarchist Utopias in the Age of Finance

Johanna Isaacson
Paperback / softback
288 pages
was: R 306.95
now: R 275.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Our moment has seen the resurgence of an anarchist sensibility, from the uprisings in Seattle in 1999 to the Occupy movement of 2011.

| more |

| add to trolley |