Grid  List

  1. Lambda Calculus with Types
    0 %
    Ebook
    Sofort lieferbar

    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...

    Unser bisheriger Preis:ORGPRICE: 97,03 €

    Jetzt 97,02 €Ebook
    Alle Preise inkl. MwSt
  2. Lambda Calculus with Types
    0 %
    Ebook
    Sofort lieferbar

    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...

    Unser bisheriger Preis:ORGPRICE: 97,68 €

    Jetzt 97,67 €Ebook
    Alle Preise inkl. MwSt
  3. Taschenbuch
    Print on Demand

    The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection...

    38,70 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Lambda Calculus with Types
    0 %
    Buch
    Print on Demand

    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used f...

    Unser bisheriger Preis:ORGPRICE: 98,50 €

    Jetzt 98,49 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Types for Proofs and Programs
    0 %
    Taschenbuch
    Print on Demand

    This volume contains thoroughly refereed and revised full papers selected from the presentations ...

    Unser bisheriger Preis:ORGPRICE: 85,59 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Taschenbuch
    Print on Demand

    In 1936 the notion of intuitive computability was operationalized in two different ways: via Turi...

    37,90 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Buch
    Print on Demand

    In 1936 the notion of intuitive computability was operationalized in two different ways: via Turi...

    45,20 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Ebook
    Nicht lieferbar

    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...

    123,50 €Ebook
    Alle Preise inkl. MwSt
  1. 1