Deductive and Declarative Programming 1
bokomslag Deductive and Declarative Programming
Data & IT

Deductive and Declarative Programming

Peter Padawitz • P Padawitz • C J Van Rijsbergen

Pocket

829:-

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

  • 288 sidor
  • 2006
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
  • Författare: Peter Padawitz, P Padawitz, C J Van Rijsbergen
  • Format: Pocket/Paperback
  • ISBN: 9780521032513
  • Språk: Engelska
  • Antal sidor: 288
  • Utgivningsdatum: 2006-11-23
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag SIGIR '94

    SIGIR '94

    W Bruce Croft, Cornelis Joost Van Rijsbergen, C J Van Rijsbergen, Bruce Croft, C J Van Rijsbergen

    Pocket

    1479:-
  2. bokomslag The Geometry of Information Retrieval

    The Geometry of Information Retrieval

    C J Van Rijsbergen, C J Van Rijsbergen, C J Van Rijsbergen

    Inbunden

    1399:-
  3. bokomslag Computing in Horn Clause Theories

    Computing in Horn Clause Theories

    Peter Padawitz

    Pocket

    749:-
  4. 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

    869:-
  5. bokomslag Topology via Logic

    Topology via Logic

    Steven Vickers, Steven Vickers, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    809:-
  6. bokomslag Algorithmic Information Theory

    Algorithmic Information Theory

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

    Pocket

    879:-
  7. bokomslag Updating Logical Databases

    Updating Logical Databases

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

    Pocket

    679:-
  8. bokomslag Logic and Computation

    Logic and Computation

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

    Pocket

    959:-
  9. bokomslag Formal Semantics and Pragmatics for Natural Language Querying

    Formal Semantics and Pragmatics for N...

    James Clifford, Clifford James, C J Van Rijsbergen

    Pocket

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

    759:-

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

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

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

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

    1229:-
  5. bokomslag Free Choice Petri Nets

    Free Choice Petri Nets

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

    Pocket

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

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

    869:-
  8. bokomslag Logic and Computation

    Logic and Computation

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

    Pocket

    959:-
  9. 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

    759:-
  10. bokomslag Basic Simple Type Theory

    Basic Simple Type Theory

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

    Inbunden

    1849:-