gernot salzer

Grid   List

  1. Automated Deduction in Classical and Non-Classical Logics

    Ebook
    Sofort lieferbar

    This volume presents a collection of thoroughly reviewed revised full papers on automated deducti...

    53,49 €
    Alle Preise inkl. MwSt
  2. Automated Deduction in Classical and Non-Classical Logics

    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1