Grid   List

  1. Taschenbuch
    BOD - 2 Tage

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

    162,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    BOD - 2 Tage

    Invited Papers.- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between...

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