• Acquista in blocco Si apre in una nuova finestra
  • Soluzioni per l'istruzione e le imprese Si apre in una nuova finestra

Navigazione di Logic 841 - 858 di 1450 risultati

  • eBook
    Coq’Art: The Calculus of Inductive Constructions
    • Yves Bertot; Pierre Castéran
    • Springer
    • Layout fisso

    A partire da:€26.52 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    • Ferro, R.; Bonotto, C.; Valentini, S.; Zanardo, A.
    • North Holland
    • Layout fisso

    €54.03 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    A Constructive Type-theoretical Approach
    • Giuseppe Primiero
    • Springer
    • Layout fisso

    A partire da:€49.92 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    • John A. Lee; Michel Verleysen
    • Springer
    • Layout fisso

    A partire da:€40.56 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings
    • 1st Edizione
    • Thomas Schwentick; ‎Dan Suciu
    • Springer
    • Layout fisso

    A partire da:€15.60 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    An Introduction to Mathematical Proofs
    • 5th Edizione
    • Antonella Cupillari
    • Academic Press
    • Layout adattabile

    €55.07 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    • Zadeh, Lotfi A.; Fu, King-Sun; Tanaka, Kokichi
    • Academic Press
    • Layout adattabile

    €70.67 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    • 2nd Edizione
    • Melvin Fitting; Richard L. Mendelsohn
    • Springer
    • Layout adattabile

    A partire da:€37.44 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    • 1st Edizione
    • Kurt Gödel
    • De Gruyter
    • Layout fisso

    €114.35 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    An Introduction to Axiomatic Reasoning
    • 1st Edizione
    • Robert André
    • Chapman & Hall
    • Layout adattabile

    €123.75 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    Google Bombs, Chocolate-Covered Pi, and Other Cool Bits in Computing
    • Tim P. Chartier
    • Princeton University Press
    • Layout adattabile

    €25.99 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    • 1st Edizione
    • Theodore Hailperin
    • Lehigh University Press
    • Layout fisso

    A partire da:€50.56 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    • Ellina Grigorieva
    • Birkhäuser
    • Layout adattabile

    A partire da:€17.16 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    The Origins of Neo-Positivism
    • Victor Kraft
    • Philosophical Library/Open Road (ORM)
    • Layout adattabile

    €14.55 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    • 1st Edizione
    • Nicolas A. Pereyra
    • CRC Press
    • Layout adattabile

    €126.87 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    A Firm Foundation of Mathematics
    • 2nd Edizione
    • Lorenz Halbeisen; Regula Krapf
    • Birkhäuser
    • Layout fisso

    A partire da:€20.28 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    Theory and Applications
    • Birkhäuser
    • Layout fisso

    A partire da:€28.08 EURIl prezzo include l'IVA

    Visualizza i dettagli
  • eBook
    14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part I
    • Springer
    • Layout adattabile

    A partire da:€20.28 EURIl prezzo include l'IVA

    Visualizza i dettagli