Mohlo by se vám také líbit

Více informací o knize Computational Logic and Set Theory

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 116 bodů

Anotace knihy

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Human-computer interaction

• Plný název: Computational Logic and Set Theory
• Podnázev: Applying Formalized Logic to Analysis
• Autor: Eugenio G Omodeo
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 416
• EAN: 9781447160182
• ISBN: 9781447160182
• ID: 09060410
• Nakladatelství: Springer London Ltd
• Hmotnost: 659 g
• Rozměry: 23 × 155 × 24 mm
• Datum vydání: 06. September 2014

Oblíbené z jiného soudku

---

---

---