Sfoglia per Autore
Mostrati risultati da 1 a 8 di 8
On Uniformly Constructive and Semiconstructive Formal Systems
2003 M. Ferrari, M. Pierangelo, M. Ornaghi
Dai fondamenti agli oggetti : corso di programmazione Java. - Seconda Edizione
2005 G. Pighizzini, M. Ferrari
Dai fondamenti agli oggetti : corso di programmazione Java
2015 G. Pighizzini, M. Ferrari
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
2020 C. Fiorentini, M. Ferrari
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms
2020 C. Fiorentini, M. Ferrari
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic
2020 C. Fiorentini, M. Ferrari
A forward internal calculus for model generation in S4
2021 C. Fiorentini, M. Ferrari
SAT-Based Proof Search in Intermediate Propositional Logics
2022 C. Fiorentini, M. Ferrari
Mostrati risultati da 1 a 8 di 8
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