Bicocca Open Archive

Logo unimib boa

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 19 di 19
Titolo Tipologia Data di pubblicazione Autori File
Calculemus? Da Leibniz all'intelligenza artificiale 03 - Contributo in libro 2021 Moscato,UE
Visual Basic for Applications con Microsoft Excel 04 - Monografia 2016 MOSCATO, UGO EMANUELEMINELLA, MAURO
Informatica Generale 04 - Monografia 2014 MOSCATO, UGO EMANUELE
Teoria della dimostrazione intuizionista e dimostrazione automatica 03 - Contributo in libro 2011 MOSCATO, UGO EMANUELE
Riflessioni sulla prova informatica 01 - Articolo su rivista 2010 MOSCATO, UGO EMANUELE +
Optimization techniques for intuitionistic propositional logic and their implementation 01 - Articolo su rivista 2008 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
Improvements to the tableau prover PITP 02 - Intervento a convegno 2007 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
A tableau decision procedure for propositional intuitionistic logic 02 - Intervento a convegno 2006 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
ESBC: an application for computing stabilization bouns 01 - Articolo su rivista 2006 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE +
ESBC: an application for computing stabilization bounds 02 - Intervento a convegno 2005 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE +
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 03 - Contributo in libro 2004 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
A space efficient implementation of a tableau calculus for a logic with a constructive negation 02 - Intervento a convegno 2004 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE +
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 02 - Intervento a convegno 2003 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 02 - Intervento a convegno 2002 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 02 - Intervento a convegno 2002 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
How to avoid the formal verification of a theorem prover 01 - Articolo su rivista 2001 AVELLONE, ALESSANDROMOSCATO, UGO EMANUELE +
Tactics for translation of tableau in natural deduction 02 - Intervento a convegno 1999 AVELLONE, ALESSANDROMOSCATO, UGO EMANUELE +
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 02 - Intervento a convegno 1998 AVELLONE, ALESSANDROMOSCATO, UGO EMANUELE +
A tableau calculus for Dummett predicate logic 03 - Contributo in libro 1996 AVELLONE, ALESSANDROMOSCATO, UGO EMANUELE +
Mostrati risultati da 1 a 19 di 19
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