Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 270
Titolo Data di pubblicazione Autore(i) File
Una classe di schemi paralleli non deterministici. 1-gen-1977 Degano, Pierpaolo
Inducing function properties from computation traces 1-gen-1979 Degano, Pierpaolo; Sirovich, F.
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
Induction of function properties and theorem proving 1-gen-1979 Degano, Pierpaolo; Sirovich, F.
Surmising properties from computations 1-gen-1979 Degano, Pierpaolo; Sirovich, F.
On finding the optimal access path to solve a relational data base query 1-gen-1980 Degano, Pierpaolo; Lomanto, A; Sirovich, F.
A note on the power of backtracking 1-gen-1980 Degano, Pierpaolo; Pacini, G.; Turini, Franco
A functional plus predicate programming language 1-gen-1980 Bellia, Marco; Degano, Pierpaolo; Levi, G.
Ambienti integrati per la produzione del software 1-gen-1980 Ambriola, Vincenzo; Bellia, Marco; Degano, Pierpaolo
A Functional Plus Predicate Logic Programming 1-gen-1980 Bellia, Marco; Degano, Pierpaolo; Levi, G.
Towards the definition of an experimental programming environment from language formal specifications 1-gen-1981 Barbuti, Roberto; Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Simonelli, C.
Program testing in an integrated software development environment 1-gen-1981 Degano, Pierpaolo; Levi, Giorgio
Integrated Interactive Computing Systems. 1-gen-1982 Degano, Pierpaolo; Sandewall, E.
Applicative communicating processes in first order logic 1-gen-1982 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications 1-gen-1982 Barbuti, Roberto; Bellia, Marco; Martelli, A.; Dameri, E.; Simonelli, C.; Degano, Pierpaolo; Levi, G.
Applicative Communicating Processes in First Order Logic 1-gen-1982 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, Maurizio
The call-by-name semantics of a clause language with functions 1-gen-1982 Bellia, Marco; Degano, Pierpaolo; Levi, G.
Artificial Intelligence -- Making computers more usable. 1-gen-1982 Degano, Pierpaolo
Toward an Inductionless Technique for Proving Properties of Logic Programs 1-gen-1982 Barbuti, Roberto; Degano, Pierpaolo; Levi, Giorgio
Specifying highly concurrent data structure manipulation 1-gen-1983 Corradini, Andrea; Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Mostra risultati da 1 a 20 di 270
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