Dependence Logic: Theory and Applications 1
bokomslag Dependence Logic: Theory and Applications
Data & IT

Dependence Logic: Theory and Applications

Samson Abramsky • Juha Kontinen

Inbunden

739:-

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

  • 276 sidor
  • 2016
  • Författare: Samson Abramsky, Juha Kontinen
  • Format: Inbunden
  • ISBN: 9783319318011
  • Språk: Engelska
  • Antal sidor: 276
  • Utgivningsdatum: 2016-07-06
  • Förlag: Birkhauser

Du kanske gillar

  1. bokomslag Dependence Logic

    Dependence Logic

    Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer

    739:-
  2. bokomslag Automata, Languages and Programming

    Automata, Languages and Programming

    Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer Auf Der Heide, Paul Spirakis

    Pocket

    1499:-
  3. bokomslag Logic Without Borders

    Logic Without Borders

    Asa Hirvonen, Juha Kontinen, Roman Kossak, Andres Villaveces, Åsa Hirvonen

    Inbunden

    2819:-
  4. bokomslag Foundations of Information and Knowledge Systems

    Foundations of Information and Knowle...

    Juha Kontinen Andreas Herzig

    Pocket

    759:-
  5. bokomslag Mathematical Foundations of Information Flow

    Mathematical Foundations of Informati...

    Michael Mislove Samson Abramsky

    Inbunden

    1979:-
  6. bokomslag Automata, Languages and Programming

    Automata, Languages and Programming

    Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer Auf Der Heide, Paul Spirakis

    Pocket

    1499:-
  7. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Samson Abramsky

    Pocket

    739:-
  8. bokomslag Brain Disease

    Brain Disease

    O Abramsky

    Inbunden

    2389:-
  9. bokomslag Papa's Pets

    Papa's Pets

    Bruce Abramski Bruce Abramski

    Klotband

    329:-
  10. bokomslag Prenatal Diagnosis: The Human Side

    Prenatal Diagnosis: The Human Side

    Jean Chapple Lenore Abramsky

    Häftad

    759:-

Andra av samma författare

  1. 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:-
  2. 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:-
  3. 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:-
  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 Logic and Computation

    Logic and Computation

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

    Pocket

    959:-
  6. 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:-
  7. bokomslag Belief Revision

    Belief Revision

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

    Pocket

    1179:-
  8. bokomslag Topology via Logic

    Topology via Logic

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

    Pocket

    809:-
  9. bokomslag Applications of Process Algebra

    Applications of Process Algebra

    J C M Baeten, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1559:-
  10. 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:-