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 2: Systems and implementation techniques Testo a stampa (moderno) 1998 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 Multi-dimensional modal logic Marx, Maarten Testo a stampa (moderno) 1997 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Proof theory of modal logic Testo a stampa (moderno) 1996 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 1: Foundations, calculi and methods Testo a stampa (moderno) 1998 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica
