home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
| can't find it |
Tell us the title, author
and / or ISBN number
*
Any other details such as author,
ISBN, title or genre. Please be specific
What is your email address?
*
Not a valid email address
| 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 |
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 |
processing...
| 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 |
Normally shipped |
Enquiries only
Publisher |
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date |
7 Aug 1996
Language |
Format |
Paperback
Pages |
455
Dimensions |
240 x 0 x 0mm (L x W x H)
Weight |
0g
ISBN |
978-3-5406-1587-3
Readership Age |
BISAC |
computers / machine theory
| other options |
| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
Living in a hut in 21st Century South Africa
Monde Ndandani
Paperback / softback
142 pages
was: R 220.95
now: R 198.95
Usually delivered in 6-12 days
| more |
| add to trolley |
processing...
The Coming Wave: AI, Power and Our Future
Mustafa Suleyman
Paperback / softback
352 pages
was: R 296.95
now: R 266.95
Available from overseas. Usually dispatched in 3 to 6 weeks
| more |
| add to trolley |
processing...
Everyday Stoicism: Ancient Solutions to Modern Day Problems from Marcus Aurelius and the Stoics
Gareth Southwell
Hardback
240 pages
was: R 360.95
now: R 324.95
Usually dispatched in 6-12 days
An accessible introduction to Stoic philosophy packed with inspirational quotes and practical ideas to help you live better.
| more |
| add to trolley |
processing...
The Memory Collectors: A Novel
Dete Meserve
Paperback / softback
320 pages
Enquiries only
| more |
| enquire |
processing...
Copyright 2025
|
terms and conditions
