Der Perlentaucher unter den Buchläden

Genauer suchen (2 Treffer)
Filter schließen (2 Treffer)

Suchergebnis

  1. Theorem Proving with the Real Numbers
    eng
    John Harrison
    Theorem Proving with the Real Numbers
    • Springer
    • 2011
    • Taschenbuch
    • 200 Seiten
    106,99€

    Auf Lager

    This book discusses the use of the real numbers in theorem proving. Typ­ ically, theorem provers only support a few 'discrete' datatypes such as the …
  2. Aspects and Prospects of Theoretical Computer Science
    eng
    Aspects and Prospects of Theoretical Computer Science
    6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings
    • Springer
    • 1990
    • Taschenbuch
    • 308 Seiten
    53,49€

    Auf Lager

    This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Six…