Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computation, proof, machine Mathematics enters a new age by Gilles Dowek by
  • Dowek, Gilles
Series: ;
Edition:
Material type: Text Book
Current publication frequency: .Language: English
Publication details: New York: Cambridge University Press, 2015
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 510.9 DOW.
Lists:

Place hold Request article Add to cart
2.
Proofs and Algorithms: An Introduction to Logic and Computability by
  • Dowek, Gilles
Publication details: Springer 2011
Availability: No items available.

Request article Add to cart
3.
Introduction to the Theory of Programming Languages by
  • Dowek, Gilles and Lévy, Jean-Jacques
Publication details: Springer 2011
Availability: No items available.

Request article Add to cart
4.
Principles of Programming Languages by
  • Dowek, Gilles
Publication details: Springer 2009
Availability: No items available.

Request article Add to cart
Pages


Copyright ©  2022 IIT Gandhinagar Library. All Rights Reserved.

Powered by Koha