Sfoglia per Serie
Mostrati risultati da 1 a 3 di 3
Concepts of Proof in Mathematics, Philosophy, and Computer Science
2016-01-01 Schuster, Peter Michael; Probst, Dieter
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction
2016-01-01 Schuster, Peter Michael; Probst, Dieter
Logic, Construction, Computation
2012-01-01 Berger, Ulrich; Diener, Hannes; Schuster, Peter Michael; Seisenberger, Monika
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 1-gen-2016 | Schuster, Peter Michael; Probst, Dieter | |
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction | 1-gen-2016 | Schuster, Peter Michael; Probst, Dieter | |
Logic, Construction, Computation | 1-gen-2012 | Berger, Ulrich; Diener, Hannes; Schuster, Peter Michael; Seisenberger, Monika |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile