Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 120
Titolo Data di pubblicazione Autore(i) File
A fexilble environment for program development based on symbolic interpreter 1-gen-1979 Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco
A note on the power of backtracking 1-gen-1980 Degano, Pierpaolo; Pacini, G.; Turini, Franco
A High Level Analysis Tool for Concurrent Programs 1-gen-1983 Mancarella, PAOLO MARIA; Turini, Franco
Cooperating Logic Theories 1-gen-1986 Barbuti, Roberto; D'Ascanio, C; Turini, Franco
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 1-gen-1987 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Symbolic Evaluation with Structural Recursive Symbolic Constants 1-gen-1987 Giannotti, Fosca; Matteucci, A; Pedreschi, Dino; Turini, Franco
A Progress Report on the LML Project 1-gen-1988 Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F.
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 1-gen-1990 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK 1-gen-1990 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
RSF: A Formalism for Executable Requirement Specifications 1-gen-1990 Michela degli, Innocenti; Ferrari, GIAN-LUIGI; Giuliano, Pacini; Turini, Franco
Universal Quantification by Case Analysis 1-gen-1990 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
Theory Construction in Computational Logic 1-gen-1991 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D.; Turini, F.
META FOR MODULARIZING LOGIC PROGRAMMING 1-gen-1992 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
MODULAR LOGIC PROGRAMMING 1-gen-1994 Brogi, Antonio; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Implementations of Program Composition Operations 1-gen-1994 Brogi, A; Chiarelli, A; Mancarella, PAOLO MARIA; Mazzotta, V.; Pedreschi, D.; Renso, C.; Turini, F.
Fully Abstract Compositional Semantics for an Algebra of Logic Programs 1-gen-1995 Brogi, Antonio; Turini, Franco
Towards Declarative GIS Analysis 1-gen-1996 Aquilino, D.; Renso, C; Turini, Franco
Language Extensions for Semantic Integration of Deductive Databases 1-gen-1996 P., Asirelli; C., Renso; Turini, Franco
Meta-Logics and Logic Programming 1-gen-1996 Apt, K; Turini, Franco
Using Temporary Integrity Constraints to Optimize Databases 1-gen-1996 Montesi, C; Renso, C; Turini, Franco
Mostra risultati da 1 a 20 di 120
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile