Extensions of First-Order Logic 1
bokomslag Extensions of First-Order Logic
Vetenskap & teknik

Extensions of First-Order Logic

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

Pocket

1219:-

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

  • 412 sidor
  • 2005
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.
  • Författare: Maria Manzano, Maria Manzano, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky
  • Format: Pocket/Paperback
  • ISBN: 9780521019026
  • Språk: Engelska
  • Antal sidor: 412
  • Utgivningsdatum: 2005-08-22
  • Förlag: Cambridge University Press

Du kanske gillar

  1. 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:-
  2. bokomslag Updating Logical Databases

    Updating Logical Databases

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

    Pocket

    619:-
  3. 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:-
  4. 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:-
  5. 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:-
  6. bokomslag Topology via Logic

    Topology via Logic

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

    Pocket

    789:-
  7. 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:-
  8. bokomslag Belief Revision

    Belief Revision

    Peter Gardenfors, Peter Gardenfors, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1169:-
  9. 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:-
  10. bokomslag Quantum Interaction

    Quantum Interaction

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

    Pocket

    729:-

Andra av samma författare

  1. bokomslag Model Theory

    Model Theory

    Maria Manzano, Mariano C Manzano, Ruy J G B De Queiroz

    Inbunden

    3329:-
  2. bokomslag Programs, Recursion and Unbounded Choice

    Programs, Recursion and Unbounded Choice

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

    Pocket

    789:-
  3. 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:-
  4. 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:-
  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:-