Implementing Mathematics with The Nuprl Proof Development System

Name: Implementing Mathematics with The Nuprl Proof Development System
Brand: Createspace Independent Publishing Platform
SKU: 9781468059106
Price: 11.98 EUR
Availability: InStock

Autor: R L Constable

Jazyk:

Väzba: Brožovaná

Vydavateľ: Createspace Independent Publishing Platform

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

11.98 €

Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...

Informácie o knihe

Autor

R L Constable

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

310

EAN

9781468059106

ISBN

1468059106

Enbook ID

17068327

Vydavateľ

Createspace Independent Publishing Platform

Hmotnosť

417

Rozmery

152 x 229 x 17

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Implementing Mathematics with The Nuprl Proof Development System

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež