Basic Simple Type Theory 1
bokomslag Basic Simple Type Theory
Data & IT

Basic Simple Type Theory

J Roger Hindley • J Roger Hindley • Roger J Hindley • C J Van Rijsbergen

Inbunden

1759:-

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

Uppskattad leveranstid 5-10 arbetsdagar

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

  • 200 sidor
  • 1997
This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.
  • Författare: J Roger Hindley, J Roger Hindley, Roger J Hindley, C J Van Rijsbergen
  • Format: Inbunden
  • ISBN: 9780521465182
  • Språk: Engelska
  • Antal sidor: 200
  • Utgivningsdatum: 1997-07-31
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Basic Simple Type Theory

    Basic Simple Type Theory

    J Roger Hindley J Roger Hindley

    Pocket

    659:-
  2. bokomslag Quantum Interaction

    Quantum Interaction

    Peter Bruza, Donald Sofge, William Lawless, C J Van Rijsbergen, Matthias Klusch

    Pocket

    729:-
  3. bokomslag The Uncertain Reasoner's Companion

    The Uncertain Reasoner's Companion

    J B Paris, J B Paris, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  4. bokomslag Metamathematics, Machines and Godel's Proof

    Metamathematics, Machines and Godel's...

    N Shankar, Natarajan Shankar, N Shankar, C J Van Rijsbergen

    Pocket

    789:-
  5. bokomslag Algorithmic Information Theory

    Algorithmic Information Theory

    Gregory J Chaitin, Gregory J Chaitin, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    869:-
  6. bokomslag Updating Logical Databases

    Updating Logical Databases

    Marianne Winslett, Marianne Winslett, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    619:-
  7. bokomslag Information Retrieval: Uncertainty and Logics

    Information Retrieval: Uncertainty an...

    Cornelis Joost Van Rijsbergen, Fabio Crestani, Mounia Lalmas, C J Van Rijsbergen, Cornelis Joost Van Rijsbergen

    Inbunden

    4519:-
  8. bokomslag Spionens handbok

    Spionens handbok

    Colin King • Falcon Travis • Judy Hin...

    Inbunden

    169:-
  9. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, Lawrence C Paulson, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    949:-
  10. bokomslag Formal Methods in Artificial Intelligence

    Formal Methods in Artificial Intellig...

    Allan M Ramsay, Allan Ramsay, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    699:-

Andra av samma författare

  1. bokomslag Programs, Recursion and Unbounded Choice

    Programs, Recursion and Unbounded Choice

    Wim H Hesselink, Hesselink Wim H, C J Van Rijsbergen

    Pocket

    789:-
  2. bokomslag Nets, Terms and Formulas

    Nets, Terms and Formulas

    E-R Olderog, E R Olderog, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  3. bokomslag Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, Flemming Nielson, Hanne Riis Nielson, C J Van Rijsbergen

    Pocket

    869:-
  4. bokomslag Extensions of First-Order Logic

    Extensions of First-Order Logic

    Maria Manzano, Maria Manzano, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1219:-
  5. bokomslag Free Choice Petri Nets

    Free Choice Petri Nets

    Jorg Desel, Javier Esparza, Jorg Desel, Javier Esparza, C J Van Rijsbergen

    Pocket

    679:-
  6. bokomslag The Logic of Typed Feature Structures

    The Logic of Typed Feature Structures

    Robert L Carpenter, Bob Carpenter, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  7. bokomslag Deductive and Declarative Programming

    Deductive and Declarative Programming

    Peter Padawitz, P Padawitz, C J Van Rijsbergen

    Pocket

    789:-
  8. bokomslag The Uncertain Reasoner's Companion

    The Uncertain Reasoner's Companion

    J B Paris, J B Paris, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  9. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, Lawrence C Paulson, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    949:-
  10. bokomslag Formal Methods in Artificial Intelligence

    Formal Methods in Artificial Intellig...

    Allan M Ramsay, Allan Ramsay, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    699:-