Erweiterte Suche

Grid  List

  1. Logic Programming and Automated Reasoning Logic Programming and Automated Reasoning

    Logic Programming and Automated Reasoning

    Harald Ganzinger
    Springer Berlin Heidelberg
    25.08.1999

    This volume contains the papers presented at the Sixth International Conference on Logic for Prog...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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
    02.10.2002

    ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti?c...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Martin Davis
    Springer Berlin Heidelberg
    03.12.2015

    This book constitutes the proceedings of the 20thInternational Conference on Logic for Programmin...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Perspectives of System Informatics Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjørner
    Springer International Publishing, Springer International Publishing
    14.12.2019

    This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informa...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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
    08.10.2007

    This book constitutes the refereed proceedings of the 14th International Conference on Logic for ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Logic Programming and Automated Reasoning Logic Programming and Automated Reasoning

    Logic Programming and Automated Reasoning

    Andrei Voronkov
    Springer Berlin Heidelberg
    29.06.1993

    LPAR is an international conference series aimed at bringingtogether researchers interested in lo...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Perspectives of System Informatics Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov
    Springer International Publishing, Springer International Publishing
    18.01.2018

    This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informa...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. 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, Springer Berlin Heidelberg
    04.01.2011

    This book constitutes the thoroughly refereed post-conference proceedings of the 16th Internation...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Logic Programming and Automated Reasoning Logic Programming and Automated Reasoning

    Logic Programming and Automated Reasoning

    Andrei Voronkov
    Springer Berlin Heidelberg
    01.07.1992

    This volume contains the proceedings of LPAR '92, theinternational conference on logic programmin...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Perspectives of System Informatics Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov
    Springer Berlin Heidelberg
    30.04.2015

    This book contains the thoroughly refereed papers from the 9th International Ershov Informatics C...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Logic Programming Logic Programming

    Logic Programming

    Andrei Voronkov
    Springer Berlin Heidelberg
    06.05.1992

    This volume contains the proceedings of two Russianconferences on logicprogramming, held in 1990 ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Rewriting Techniques and Applications Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Andrei Voronkov
    Springer Berlin Heidelberg
    04.07.2008

    This book constitutes the refereed proceedings of the 19th International Conference on Rewriting ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2
  3. 3