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: 53.34 PLN
Availability: InStock

Autor: R L Constable

Język:

Oprawa: Miękka

Wydawca: Createspace Independent Publishing Platform

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

53.34 zł

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

Informacje o książce

Autor

R L Constable

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2012

strony

310

EAN

9781468059106

ISBN

1468059106

Enbook ID

17068327

Wydawca

Createspace Independent Publishing Platform

Waga

417

Wymiary

152 x 229 x 17

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Implementing Mathematics with The Nuprl Proof Development System

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również