Sfoglia per Autore
Bibliografia sul linguaggio Ada
1981-01-01 Rossi, Gianfranco
Programmazione concorrente con il linguaggio Ada
1982-01-01 Rossi, Gianfranco
Un primo approccio alla programmazione distribuita con Ada
1983-01-01 Rossi, Gianfranco; Zicari, R.
Programming a Distributed System in Ada
1983-01-01 Rossi, Gianfranco; R., Zicari
Efficient Unification with Infinite Terms in Logic Programming
1984-01-01 Martelli, A.; Rossi, Gianfranco
Implementing Inference Strategies in Prolog based Expert Systems
1986-01-01 Console, L.; Rossi, Gianfranco
Uses of Prolog in Implementation of Expert Systems
1986-01-01 Rossi, Gianfranco
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES
1986-01-01 Martelli, A.; Moiso, C.; Rossi, G. F.
An Algorithm for Unification in Equational Theories
1986-01-01 A., Martelli; C., Moiso; Rossi, Gianfranco
On the Semantics of Logic Programming Languages
1986-01-01 Martelli, A.; Rossi, Gianfranco
FROG: a Prolog-based system for Prolog-based knowledge representation
1987-01-01 Console, L.; Rossi, Gianfranco
Local Definitions with Static Scope Rules in Logic Programming
1988-01-01 Giordano, L; Martelli, A; Rossi, Gianfranco
Enhancing Prolog to Support Prolog Programming Environments
1988-01-01 Martelli, A.; Rossi, Gianfranco
Lazy Unification Algorithms for Canonical Rewrite Systems
1989-01-01 Martelli, A.; Moiso, C.; Rossi, Gianfranco
Meta-programming facilities in an extended Prolog
1989-01-01 Rossi, Gianfranco
Using Prolog for Building FROG, a Hybrid Knowledge Representation System
1989-01-01 Console, L.; Rossi, Gianfranco
Stepwise development of an algorithm for unification over infinite trees
1990-01-01 Martelli, A.; Rossi, Gianfranco
{log}: A Logic Programming Language with Finite Sets
1991-01-01 Dovier, A.; Omodeo, E.; Pontelli, E.; Rossi, Gianfranco
Logic Meta-Programming Facilities in 'Log
1992-01-01 Cervesato, I.; Rossi, Gianfranco
Embedding Finite Sets in a Logic Programmnig Language
1992-01-01 Dovier, A.; Omodeo, E.; Pontelli, E.; Rossi, Gianfranco
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