Sfoglia per Autore  

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