0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14,... Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Paperback, 1995 ed.)
E.Thomas Schubert, Phillip J. Windley, James Alves-Foss
R1,557 Discovery Miles 15 570 Ships in 18 - 22 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Multistage Pet Food (20kg) - JOCK
 (2)
R595 Discovery Miles 5 950
Linx Ross Mid Back Typist Chair (Black)
 (3)
R1,249 R1,135 Discovery Miles 11 350
Playstation 4 Replacement Case
 (9)
R81 Discovery Miles 810
Loot
Nadine Gordimer Paperback  (2)
R367 R340 Discovery Miles 3 400
ZA Pendant Decoration with Light and…
R199 Discovery Miles 1 990
Madam & Eve 2018 - The Guptas Ate My…
Stephen Francis, Rico Schacherl Paperback R220 R203 Discovery Miles 2 030
Sunbeam Steam and Spray Iron
R294 Discovery Miles 2 940
Home Classix Trusty Traveller Mug…
R99 R69 Discovery Miles 690
Mission Impossible 6: Fallout
Tom Cruise, Henry Cavill, … Blu-ray disc  (1)
R271 Discovery Miles 2 710
DeepCool Xfan LED Case Fan (80mm)(Clear…
R82 Discovery Miles 820

 

Partners