Amazon cover image
Image from Amazon.com
Image from Google Jackets

Computation, Proof, Machine Gilles Dowek , Translated By Pierre Guillot , Marion Roman

By: Material type: TextTextPublication details: Cambridge 2015Edition: 1Description: 160ISBN:
  • 9780521133777
Subject(s): DDC classification:
  • 510.9 DOW
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Shelving location Call number Status Barcode
Reference Reference Kalaignar Centenary Library Madurai ENGLISH-REFERENCE BOOKS மூன்றாம் தளம் / Third floor 510.9 DOW (Browse shelf(Opens below)) Not for loan 284514
Browsing Kalaignar Centenary Library Madurai shelves, Shelving location: மூன்றாம் தளம் / Third floor, Collection: ENGLISH-REFERENCE BOOKS Close shelf browser (Hides shelf browser)
510.9 BRE Calculus Reordered / 510.9 CAJ A History Of Mathematics / 510.9 CUO Ancient Mathematics 510.9 DOW Computation, Proof, Machine 510.9 DOW Computation, Proof, Machine / 510.9 DUR Menahem Max Schiffer: Selected Papers Volume 2, / 510.9 EMM First Congress of Greek Mathematicians /

Find us on the map