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

Basic Simple Type Theory

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

Inbunden

1769:-

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:-

  • 200 sidor
  • 2002
  • Författare: J Roger Hindley, Roger J Hindley, C J Van Rijsbergen
  • Format: Inbunden
  • ISBN: 9780521465182
  • Språk: Engelska
  • Antal sidor: 200
  • Utgivningsdatum: 2002-10-26
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Basic Simple Type Theory

    Basic Simple Type Theory

    J Roger Hindley

    Pocket

    629:-
  2. bokomslag Computational Learning Theory

    Computational Learning Theory

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

    Pocket

    679:-
  3. bokomslag Metamathematics, Machines and Godel's Proof

    Metamathematics, Machines and Godel's...

    Natarajan Shankar, N Shankar, C J Van Rijsbergen

    Pocket

    789:-
  4. bokomslag Free Choice Petri Nets

    Free Choice Petri Nets

    Jorg Desel, Javier Esparza, C J Van Rijsbergen

    Pocket

    679:-
  5. bokomslag Information Flow

    Information Flow

    Jon Barwise, Whatley, C J Van Rijsbergen

    Inbunden

    1339:-
  6. bokomslag Advances in Information Retrieval

    Advances in Information Retrieval

    Fabio Crestani, Mark Girolami, C J Van Rijsbergen

    Pocket

    749:-
  7. bokomslag Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, C J Van Rijsbergen

    Pocket

    879:-
  8. bokomslag Formal Semantics and Pragmatics for Natural Language Querying

    Formal Semantics and Pragmatics for N...

    James Clifford, Clifford James, C J Van Rijsbergen

    Pocket

    789:-
  9. bokomslag Predicate Transformer Semantics

    Predicate Transformer Semantics

    Ernest G Manes, E G Manes, C J Van Rijsbergen

    Pocket

    949:-
  10. bokomslag Entrepreneurship, Small and Medium-Sized Enterprises and the Macroeconomy

    Entrepreneurship, Small and Medium-Si...

    Zoltan J Acs, Bo Carlsson, Charlie Karlsson

    Inbunden

    1769:-

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, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  3. bokomslag Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, C J Van Rijsbergen

    Pocket

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

    Extensions of First-Order Logic

    Maria Manzano, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1389:-
  5. bokomslag Free Choice Petri Nets

    Free Choice Petri Nets

    Jorg Desel, Javier Esparza, C J Van Rijsbergen

    Pocket

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

    The Logic of Typed Feature Structures

    Bob Carpenter, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  7. bokomslag Deductive and Declarative Programming

    Deductive and Declarative Programming

    P Padawitz, Peter Padawitz, C J Van Rijsbergen

    Pocket

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

    The Uncertain Reasoner's Companion

    J B Paris, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  9. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1089:-
  10. bokomslag Belief Revision

    Belief Revision

    Peter Gardenfors, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1339:-