*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Processes, Terms and Cycles: Steps on the Road to Infinity
    Processes, Terms and Cycles: Steps on the Road to Infinity
    Aart Middeldorp
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    The Spectra of Words.- On the Undecidability of Coherent Logic.- Löb's Logic Meets the ?-Calculus...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logic for Programming, Artificial Intelligence, and Reasoning
    Logic for Programming, Artificial Intelligence, and Reasoning
    Ken McMillan
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 19th International Conference on Logic for Programmi...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Functional and Logic Programming
    Functional and Logic Programming
    Aart Middeldorp
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume contains the papers presented at the 4th Fuji International S- posium on Functional a...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Rewriting Techniques and Applications
    Rewriting Techniques and Applications
    Aart Middeldorp
    Springer, Springer Gabler
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Automated Deduction - CADE-25
    Automated Deduction - CADE-25
    Amy P. Felty
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 25th International Conference on Automated Deduction...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1