home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
Available
| can't find it |
| browse books |
Textbooks
books
antiques & collectibles
architecture
art
biography & autobiography
body, mind & spirit
business & economics
comics & graphic novels
computers
cooking
crafts & hobbies
drama
education
family & relationships
fiction
foreign language study
games
gardening
health & fitness
history
house & home
humor
juvenile fiction
juvenile nonfiction
language arts & disciplines
law
literary collections
literary criticism
mathematics
medical
music
nature
non-classifiable
performing arts
pets
philosophy
photography
poetry
political science
psychology
reference
religion
science
self-help
social science
sports & recreation
study aids
technology
transportation
travel
true crime
books
| book details |
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Edited by
E. Thomas Schubert
, Edited by
Phillip J. Windley
, Edited by
James Alves-Foss
| on special |
normal price: R 2 121.95
Price: R 1 909.95
| add to trolley |
processing...
| book description |
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.
| product details |
Normally shipped |
Available from overseas. Usually dispatched in 14 days
Publisher |
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date |
23 Aug 1995
Language |
Format |
Paperback / softback
Pages |
408
Dimensions |
235 x 155 x 0mm (L x W x H)
Weight |
0g
ISBN |
978-3-5406-0275-0
Readership Age |
BISAC |
computers / computer architecture
| other options |
| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
Remarkably Bright Creatures
Shelby Van Pelt
Paperback / softback
384 pages
was: R 514.95
now: R 462.95
Available from overseas. Usually dispatched in 14 days
| more |
| add to trolley |
processing...
Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER
Clare Leslie Hall
Paperback / softback
320 pages
Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
| more |
| enquire |
processing...
Dungeon Crawler Carl
Matt Dinniman
Paperback / softback
480 pages
was: R 514.95
now: R 452.95
Available from overseas. Usually dispatched in 14 days
| more |
| add to trolley |
processing...
The Correspondent
Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Available from overseas. Usually dispatched in 3 to 6 weeks
| more |
| add to trolley |
processing...
Copyright 2026
|
terms and conditions
