Erweiterte Suche

Grid  List

  1. Database Theory - ICDT ’95 Database Theory - ICDT ’95

    Database Theory - ICDT ’95

    Moshe Y. Vardi
    Springer Berlin Heidelberg
    03.01.1995

    This volume presents the proceedings of the 1995 International Conference on Database Theory, ICD...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Techniques for Networked and Distributed Systems - FORTE 2002 Formal Techniques for Networked and Distributed Systems - FORTE 2002

    Formal Techniques for Networked and Distributed Systems - FORTE 2002

    Moshe Y. Vardi
    Springer Berlin Heidelberg
    28.10.2002

    The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distrib...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Moshe Y. Vardi
    Springer Berlin Heidelberg
    03.06.1998

    This book consitutes the refereed proceedings of the 10th International Conference on Computer Ai...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Finite Model Theory and Its Applications Finite Model Theory and Its Applications

    Finite Model Theory and Its Applications

    Erich Grädel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    24.04.2007

    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...

    Gebunden
    96,29 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Finite Model Theory and Its Applications Finite Model Theory and Its Applications

    Finite Model Theory and Its Applications

    Erich Grädel
    Springer Berlin Heidelberg
    30.10.2014

    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...

    Taschenbuch
    80,20 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Andrei Voronkov
    Springer Berlin Heidelberg
    12.09.2003

    ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, A...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Reasoning About Knowledge Reasoning About Knowledge

    Reasoning About Knowledge

    Joseph Y. Halpern
    MIT Press Ltd
    09.01.2004

    Provides a general discussion of approaches to reasoning about knowledge and its applications to ...

    Taschenbuch
    73,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1