Search the Catalog Library Filosofia Remove from current search Id serie rms00183853 Remove from current search Results 1 - 10 of 37 sorted by Ranking Title Author Date - most recent Date - less recent Sequenza Proof theory and automated deduction Goubault-Larrecq, Jean Testo a stampa (moderno) 1997 Find it at 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 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Frontiers in belief revision Testo a stampa (moderno) 2001 Find it at Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Logic, language and computation Testo a stampa (moderno) 1997 Find it at Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Frontiers of combining systems : first international workshop, Munich, march 1996 Testo a stampa (moderno) 1996 Find it at Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Intellectics and computational logic : papers in honor of Wolfgang Bibel Testo a stampa (moderno) 2000 Find it at Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Goal directed proof theory Gabbay, Dov M. <1945- > Testo a stampa (moderno) 2000 Find it at Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Formal aspects of context Testo a stampa (moderno) 2000 Find it at Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Proof theory of modal logic Testo a stampa (moderno) 1996 Find it at Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Foundations of rational agency Testo a stampa (moderno) 1999 Find it at Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica
