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 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 Fallacies arising from ambiguity Walton, Douglas 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 Logic, language and computation Testo a stampa (moderno) 1997 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 Formal aspects of context Testo a stampa (moderno) 2000 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica
