Mohlo by se vám také líbit

Více informací o knize Implementing Mathematics with The Nuprl Proof Development System

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

Nákupem získáte 30 bodů

Anotace knihy

Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as a manual for users of the Nuprl system Give an overview of the project for those interested in applications of the results and fo

Parametry knihy

• Plný název: Implementing Mathematics with The Nuprl Proof Development System
• Autor: R L Constable
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 310
• EAN: 9781468059106
• ISBN: 1468059106
• ID: 17068327
• Nakladatelství: Createspace Independent Publishing Platform
• Hmotnost: 417 g
• Rozměry: 229 × 152 × 17 mm
• Datum vydání: 23. January 2012

Oblíbené z jiného soudku

---

---

---