Formal Methods in Artificial Intelligence 1
bokomslag Formal Methods in Artificial Intelligence
Data & IT

Formal Methods in Artificial Intelligence

Allan Ramsay • C J Van Rijsbergen • Samson Abramsky

Pocket

699:-

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

  • 292 sidor
  • 2009
  • Författare: Allan Ramsay, C J Van Rijsbergen, Samson Abramsky
  • Format: Pocket/Paperback
  • ISBN: 9780521424219
  • Språk: Engelska
  • Antal sidor: 292
  • Utgivningsdatum: 2009-02-28
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag The Uncertain Reasoner's Companion

    The Uncertain Reasoner's Companion

    J B Paris, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  2. bokomslag Topology Via Logic

    Topology Via Logic

    Steven Vickers, C J Van Rijsbergen, Samson Abramsky

    Pocket

    729:-
  3. bokomslag Algorithmic Information Theory

    Algorithmic Information Theory

    Gregory J Chaitin, C J Van Rijsbergen, Samson Abramsky

    Pocket

    839:-
  4. bokomslag Updating Logical Databases

    Updating Logical Databases

    Marianne Winslett, C J Van Rijsbergen, Samson Abramsky

    Pocket

    619:-
  5. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1089:-
  6. bokomslag Theoretical Foundations of VLSI Design

    Theoretical Foundations of VLSI Design

    K Mcevoy, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1069:-
  7. bokomslag The Optimal Implementation of Functional Programming Languages

    The Optimal Implementation of Functio...

    Andrea Asperti, C J Van Rijsbergen, Samson Abramsky

    Inbunden

    1439:-
  8. bokomslag The Logic of Typed Feature Structures

    The Logic of Typed Feature Structures

    Bob Carpenter, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  9. bokomslag Extensions of First-Order Logic

    Extensions of First-Order Logic

    Maria Manzano, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1389:-
  10. bokomslag Category Theory and Computer Science

    Category Theory and Computer Science

    David H Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne

    Pocket

    719:-

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

    869:-
  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 Basic Simple Type Theory

    Basic Simple Type Theory

    J Roger Hindley, Roger J Hindley, C J Van Rijsbergen

    Inbunden

    1759:-