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: 4819 HUF
Availability: InStock

Szerző: R L Constable

Nyelv:

Kötés: Puha kötésű

Kiadó: Createspace Independent Publishing Platform

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

4 819 Ft

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

Információk a könyvről

Szerző

R L Constable

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

310

EAN

9781468059106

ISBN

1468059106

Enbook ID

17068327

Kiadó

Createspace Independent Publishing Platform

Súly

417

Méretek

152 x 229 x 17

Teljes leírás

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

Érdekelheti

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

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Implementing Mathematics with The Nuprl Proof Development System

Információk a könyvről

Teljes leírás

Érdekelheti

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