Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Higher Order Logic Theorem Proving and Its Applications E. Th. Schubert

Higher Order Logic Theorem Proving and Its Applications

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Szerző: E. Th. Schubert, Phillip J. Windley, James Alves-Foss
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 370 Ft
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theo...

Információk a könyvről

Szerző
E. Th. Schubert, Phillip J. Windley, James Alves-Foss
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1995
oldal
408
EAN
9783540602750
ISBN
3540602755
Enbook ID
01566006
Kiadó
Springer, Berlin
Súly
547
Méretek
156 x 234 x 21

Teljes leírás

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.

Érdekelheti

Fuels Programs Registration User Guide Version 2.0

U S Environmental Protection Agency
6 873 Ft

The Kiss Bet, Vol. 3

OCHOA INGRID
5 704 Ft

Dark and Drowning Tide

Saft Allison
3 968 Ft

Mastering Graphics Programming with Vulkan: Develop a modern rendering engine from first principles to state-of-the-art techniques

Gabriel Sassone
17 044 Ft

Decision Making in Emergency Medicine

Manda Raz
37 858 Ft

Introduction to World Religions

Darryl E. Howard
105 204 Ft

Staff Cars in Germany WW2 Vol. 2

Ranger
7 476 Ft

Data Science with Julia

Paul D McNicholas
30 427 Ft

Triple

Ken Follett
5 434 Ft

Passover Family

Monique Polak
3 639 Ft

Experiencing Spiritual Encouragement: Devotional Thoughts from the Word

Ann Varnum
4 849 Ft

Morphological diversity, nutritional quality and value addition of jackfruit (Artocarpus heterophyllus) in Kerala

Jiby John Mathew
17 832 Ft

Church Missionary Intelligencer and Record

Seeley Jackson & Halliday Publishing
17 031 Ft

Richard Scarry's Please and Thank You Book

Richard Scarry
2 083 Ft

Oogenesis - The Universal Process

Verlhac
57 458 Ft

Anatomy of Fraud and Corruption

Veronica Morino
78 299 Ft

Corals of Australia and the Indo-Pacific

J.E.N. Veron
31 255 Ft

Integrating EU Migration Policy into the European Neighbourhood Policy

Katerina Stancova
17 260 Ft

Letters Describing a Tour Through Part of South Wales. by a Pedestrian Traveller. with Views, Designed and Etched by the Author.

Armand-Louis Bon Maudet
7 476 Ft

Edina. a Novel.

Henry Wood
10 670 Ft

Moment With Kel

Kelvin L. Hicks
4 206 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

LEGO Ninjago - Der Herr der Wünsche

3 450 Ft

Filosofía de Richard Rorty

Pilar Salvá Soria
13 464 Ft

Wissenschaftstheorie der Soziologie

Gerhard Wagner
9 973 Ft

Nahrungsnetze im Schweizerischen Nationalpark

Anita C. Risch
15 447 Ft

Die Formstoffee Der Eisen Und Stahlgiesserei Ihr Wesen, Ihre Prufung Und Aufbereitung (1920)

Carl Irresberger
10 711 Ft

Évaluation et didactique

Bart Daniel Bart
15 519 Ft

Gesunde Menschen, Lebensfragen, Kranke Menschen, Lehr- und Fastenbrief, Verjüngung auf natürlichem Wege, Lebensfragen und andere Originaltexte

Arnold Ehret
6 091 Ft

Bumblebee - Ausgabe 2013 für das 3. / 4. Schuljahr

Gisela Ehlers
6 320 Ft