Catalogo Biblioteca Filosofia Rimuovi dalla ricerca corrente Id collana rms00228926 Rimuovi dalla ricerca corrente Risultati 1 - 10 di 51 ordinati per Rilevanza Titolo Autore Data - più recente Data - meno recente Sequenza Propositional logic : deduction and algorithms Buning, Hans Kleine Testo a stampa (moderno) 1999 Lo trovi in 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 Lo trovi in 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 Lo trovi in 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 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Mathematical theory of domains Stoltenberg-Hansen, Viggo Testo a stampa (moderno) 1994 Lo trovi in Filosofia Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Modal logic Blackburn, Patrick Testo a stampa (moderno) 2001 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Information flow : the logic of distributed systems Barwise, Jon Testo a stampa (moderno) 1997 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Nonmonotonic reasoning : logical foundations of commonsense Brewka, Gerhard Testo a stampa (moderno) 1991 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Mathematics for computer graphics Hoggar, Stuart G. Testo a stampa (moderno) 1992 Lo trovi in Filosofia Scienze di base e applicate per l'ingegneria Updating logical databases Winslett, Marianne Testo a stampa (moderno) 1990 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti
