Your search returned 7 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Axiomatising the logic of computer programming

by Goldblatt, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: Vikram Sarabhai Library [Call number: 519.92 G6A9] (1).

Proof analysis: a contribution to Hilbert's last problem

by Negri, Sara | Plato, Jan Von.

Publisher: Ney York Cambridge University Press 2011Availability: Items available for loan: Vikram Sarabhai Library [Call number: 511.36 N3P7] (1).

The proof is in the pudding: the changing nature of mathematical proof

by Krantz, Steven G.

Publisher: New York Springer 2011Availability: Items available for loan: Vikram Sarabhai Library [Call number: 511.36 K7P7] (1).

The nuts and bolts of proofs: an introduction to mathematical proofs

by Cupillari, Antonella.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam Elsevier Academic Press 2013Availability: Items available for loan: Vikram Sarabhai Library [Call number: 511.36 C8N8-2013] (1).

Burden of proof, presumption and argumentation

by Walton, Douglas N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York Cambridge University Press 2014Availability: Items available for loan: Vikram Sarabhai Library [Call number: 347.06 W2B8] (1).

Understanding mathematical proof

by Taylor, John | Garnier, Rowan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton CRC Press 2014Availability: Items available for loan: Vikram Sarabhai Library [Call number: 511.36 T2U6] (1).

Statistical learning with sparsity: the lasso and generalizations

by Hastie, Trevor | Tibshirani, Robert | Wainwright, Martin.

Publisher: Boca Raton CRC Press 2015Availability: Items available for loan: Vikram Sarabhai Library [Call number: 519.5 H2S8] (1).

Powered by Koha