Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. All about Proofs, Proofs for All All about Proofs, Proofs for All

    All about Proofs, Proofs for All

    Bruno Woltzenlogel Paleo
    College Publications
    22.01.2015

    The development of new and improved proof systems, proof formats andproof search methods is one o...

    Taschenbuch
    23,40 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Herbrand Sequent Extraction Herbrand Sequent Extraction

    Herbrand Sequent Extraction

    Bruno Woltzenlogel Paleo
    AV Akademikerverlag
    04.07.2012

    Revision with unchanged content. Formal proofs of interesting mathematical theorems are usually t...

    Taschenbuch
    49,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Levenshtein Distance Levenshtein Distance

    Levenshtein Distance

    Bruno Woltzenlogel Paleo
    LAP LAMBERT Academic Publishing
    04.06.2010

    In database record linkage or natural language processing tasks one usually encounters problems w...

    Taschenbuch
    49,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Death And Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G. W. Leibniz Death And Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G. W. Leibniz

    Death And Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G. W. Leibniz

    Bruno Woltzenlogel Paleo
    Touchladybirdlucky Studios
    25.12.2016

    Death And Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G. W. ...

    Taschenbuch
    54,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Death And Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G. W. Leibniz Death And Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G. W. Leibniz

    Death And Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G. W. Leibniz

    Bruno Woltzenlogel Paleo
    Touchladybirdlucky Studios
    25.12.2016

    Death And Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G. W. ...

    Gebunden
    67,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1