Erweiterte Suche

Grid  List

  1. Automated Model Building Automated Model Building

    Automated Model Building

    Ricardo Caferra
    Springer Netherlands
    05.12.2010

    On the history of the book: In the early 1990s several new methods and perspectives in au- mated ...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automated Deduction in Classical and Non-Classical Logics Automated Deduction in Classical and Non-Classical Logics

    Automated Deduction in Classical and Non-Classical Logics

    Gernot Salzer
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    09.02.2000

    Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, w...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Model Building Automated Model Building

    Automated Model Building

    Ricardo Caferra
    Springer
    13.09.2004

    This is the first book on automated model building, a discipline of automated deduction that is o...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 197,94 €

    Jetzt 182,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Logic for Computer Science and Artificial Intelligence Logic for Computer Science and Artificial Intelligence

    Logic for Computer Science and Artificial Intelligence

    Ricardo Caferra
    Wiley
    15.08.2011

    Logic and its components (propositional, first-order, non-classical) play a key role in Computer ...

    Gebunden
    253,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1