Mohlo by sa vám tiež páčiť

Viac informácií o knihe Theorem Proving in Higher Order Logics

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 175 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Computer architecture & logic design

• Celý názov: Theorem Proving in Higher Order Logics
• Podnázov: 11th International Conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
• Autor: Jim Grundy, Malcolm Newey
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 496
• EAN: 9783540649878
• ISBN: 3540649875
• ID: 05274873
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 1580 g
• Rozmery: 233 × 155 × 28 mm
• Dátum vydania: 09. September 1998

Obľúbené z iného súdka

---

---

---