Search the Catalog Library Filosofia Remove from current search Id serie rms00228926 Remove from current search Results 1 - 10 of 51 sorted by Ranking Title Author Date - most recent Date - less recent Sequenza Propositional logic : deduction and algorithms Buning, Hans Kleine Testo a stampa (moderno) 1999 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Ricerca sociale, informatica e comunicazione - Sede Informatica Epistemic logic for AI and computer science Meyer, John-Jules Charles Testo a stampa (moderno) 1995 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Ricerca sociale, informatica e comunicazione - Sede Informatica The clausal theory of types Wolfram, D. A. Testo a stampa (moderno) 1993 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Ricerca sociale, informatica e comunicazione - Sede Informatica The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution Carpenter, Bob Testo a stampa (moderno) 1992 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Mathematical theory of domains Stoltenberg-Hansen, Viggo Testo a stampa (moderno) 1994 Find it at Filosofia Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Modal logic Blackburn, Patrick Testo a stampa (moderno) 2001 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Information flow : the logic of distributed systems Barwise, Jon Testo a stampa (moderno) 1997 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Nonmonotonic reasoning : logical foundations of commonsense Brewka, Gerhard Testo a stampa (moderno) 1991 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Mathematics for computer graphics Hoggar, Stuart G. Testo a stampa (moderno) 1992 Find it at Filosofia Scienze di base e applicate per l'ingegneria Updating logical databases Winslett, Marianne Testo a stampa (moderno) 1990 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti
