Metamathematics, Machines and Godel's Proof 1
bokomslag Metamathematics, Machines and Godel's Proof
Data & IT

Metamathematics, Machines and Godel's Proof

Natarajan Shankar • N Shankar • C J Van Rijsbergen

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 220 sidor
  • 2002
  • Författare: Natarajan Shankar, N Shankar, C J Van Rijsbergen
  • Format: Pocket/Paperback
  • ISBN: 9780521585330
  • Språk: Engelska
  • Antal sidor: 220
  • Utgivningsdatum: 2002-10-08
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Computational Learning Theory

    Computational Learning Theory

    M H G Anthony, Norman L Biggs, C J Van Rijsbergen

    Pocket

    679:-
  2. bokomslag Information Flow

    Information Flow

    Jon Barwise, Whatley, C J Van Rijsbergen

    Inbunden

    1309:-
  3. bokomslag Metamathematics and the Philosophical Tradition

    Metamathematics and the Philosophical...

    Florence S Boos William Boos

    Inbunden

    2459:-
  4. bokomslag Advances in Information Retrieval

    Advances in Information Retrieval

    Fabio Crestani, Mark Girolami, C J Van Rijsbergen

    Pocket

    749:-
  5. bokomslag Action Semantics

    Action Semantics

    Peter D Mosses, Mosses Peter D, C J Van Rijsbergen

    Pocket

    949:-
  6. bokomslag Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

    Metamathematical Investigation of Int...

    Anne S Troelstra

    Pocket

    939:-
  7. bokomslag Flexible Kalina Cycle Systems

    Flexible Kalina Cycle Systems

    Tangellapalli Srinivas, N Shankar Ganesh, R Shankar

    Inbunden

    2279:-
  8. bokomslag Dams and Dikes in Development

    Dams and Dikes in Development

    H Van Duivendijk, B Schultz, C-J Van Westen

    Inbunden

    909:-
  9. bokomslag Handboek Jeugdzorg Deel 2

    Handboek Jeugdzorg Deel 2

    J M A Hermanns, F Verheij, C H C J Van Nijnatten, M A W L Reuling

    Pocket

    1099:-
  10. bokomslag Handboek Jeugdzorg Deel 1

    Handboek Jeugdzorg Deel 1

    J M A Hermanns, F Verheij, C H C J Van Nijnatten, M A W L Reuling, F Verheij

    Pocket

    1099:-

Andra av samma författare

  1. bokomslag Extensions of First-Order Logic

    Extensions of First-Order Logic

    Maria Manzano, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1389:-
  2. bokomslag Belief Revision

    Belief Revision

    Peter Gardenfors, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1339:-
  3. bokomslag Information Flow

    Information Flow

    Jon Barwise, Whatley, C J Van Rijsbergen

    Inbunden

    1309:-
  4. bokomslag Computational Learning Theory

    Computational Learning Theory

    M H G Anthony, Norman L Biggs, C J Van Rijsbergen

    Pocket

    679:-
  5. bokomslag Algorithmic Information Theory

    Algorithmic Information Theory

    Gregory J Chaitin, C J Van Rijsbergen, Samson Abramsky

    Pocket

    819:-
  6. bokomslag Action Semantics

    Action Semantics

    Peter D Mosses, Mosses Peter D, C J Van Rijsbergen

    Pocket

    949:-
  7. bokomslag Updating Logical Databases

    Updating Logical Databases

    Marianne Winslett, C J Van Rijsbergen, Samson Abramsky

    Pocket

    619:-
  8. bokomslag The Geometry of Information Retrieval

    The Geometry of Information Retrieval

    C J Van Rijsbergen

    Inbunden

    1369:-
  9. bokomslag Adaptive Multimedia Retrieval: User, Context, and Feedback

    Adaptive Multimedia Retrieval: User, ...

    Marcin Detyniecki, Joemon M Jose, Andreas Nürnberger, C J Van Rijsbergen

    Pocket

    749:-
  10. bokomslag Automated Reasoning

    Automated Reasoning

    Natarajan Shankar Ulrich Furbach

    Pocket

    1469:-