Risultati della ricerca

  • Mostra 1 - 8 risultati su 8
Raffina i risultati
  1. 1

    Proof technology and computation

    Pubblicazione 2006
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  2. 2
  3. 3

    Recent progress in the Boolean domain /

    Pubblicazione 2014
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook
  4. 4

    The little prover / di Friedman, Daniel P., Eastlund, Carl

    Pubblicazione 2015
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook
  5. 5
  6. 6

    Recent progress in the Boolean domain /

    Pubblicazione 2014
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook
  7. 7

    The little prover / di Friedman, Daniel P., Eastlund, Carl

    Pubblicazione 2015
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook
  8. 8

    Proof technology and computation

    Pubblicazione 2006
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook