Catalogo Biblioteca Filosofia Rimuovi dalla ricerca corrente Id collana rms00183853 Rimuovi dalla ricerca corrente Risultati 1 - 10 di 37 ordinati per Rilevanza Titolo Autore Data - più recente Data - meno recente Sequenza Proof theory and automated deduction Goubault-Larrecq, Jean Testo a stampa (moderno) 1997 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Ricerca sociale, informatica e comunicazione - Sede Informatica Reasoning robots : the art and science of programming robotic agents Thielscher, Michael Testo a stampa (moderno) 2005 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Frontiers in belief revision Testo a stampa (moderno) 2001 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Foundations of rational agency Testo a stampa (moderno) 1999 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica What is negation? Testo a stampa (moderno) 1999 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Logic, language and computation Testo a stampa (moderno) 1997 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Abduction and induction : essays on their relation and integration Testo a stampa (moderno) 2000 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Advances in temporal logic Testo a stampa (moderno) 2000 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Labelled deduction Testo a stampa (moderno) 2000 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica 3: Applications Testo a stampa (moderno) 1998 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica
