Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy | DealShopping France
  1. Page d’accueil
  2. Médias
  3. Livres
  4. Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy - [Livre en VO]
  • #
  • #

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy - [Livre en VO]

152.72 EUR

Partager:

Produits connexes

Gants de manutention professionnels Mapa Ultrane 500 Taille 8

Gants de manutention professionnels Mapa Ultrane 500 Taille 8

4.60 EUR
Mapa Ultrane 500 Gants de Manutention

Mapa Ultrane 500 Gants de Manutention - Taille 9

4.60 EUR
Gants Mapa Professional Ultrane 500 Taille 7 Bleu foncé/noir (lot de 2)

Gants Mapa Professional Ultrane 500 Taille 7 Bleu foncé/noir (lot de 2)

5.50 EUR
Metamathematics, Machines, and Godel's Proof, Cambridge Tracts in Theoretical Computer Science

Metamathematics, Machines, and Godel's Proof, Cambridge Tracts in Theoretical Computer Science

75.82 EUR
Specification and Proof in Real-Time Csp, Distinguished Dissertations in Computer Science

Specification and Proof in Real-Time Csp, Distinguished Dissertations in Computer Science

112.99 EUR
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory - M.M. Richter, E. Borger, Walter Oberschelp, W. Thomas et B. Schinzel

6.17 EUR