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 Dynamic worlds : from the frame problem to knowledge management Testo a stampa (moderno) 1999 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica A textbook of belief dynamics : theory change and database updating Hansson, Sven Ove Testo a stampa (moderno) 1999 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Multi-dimensional modal logic Marx, Maarten Testo a stampa (moderno) 1997 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Fuzzy sets, logics and reasoning about knowledge Testo a stampa (moderno) 1999 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Frontiers of combining systems : first international workshop, Munich, march 1996 Testo a stampa (moderno) 1996 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Intellectics and computational logic : papers in honor of Wolfgang Bibel Testo a stampa (moderno) 2000 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Goal directed proof theory Gabbay, Dov M. <1945- > Testo a stampa (moderno) 2000 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica
