Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 6 di 6
Titolo Data di pubblicazione Autore(i) File
Grammatical Inference Algorithms for the Generation of Visual Languages 1-gen-1990 Crimi, Claudia; Guercio, Angela; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio
Relation Grammars and their application to Multidimensional Structures 1-gen-1991 Crimi, Claudia; Guercio, Angela; Nota, Giancarlo; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio
On Refinement of Logic Specifications 1-gen-1992 Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa
A Sleeper-based Prolog Interpreter with Loop Checks 1-gen-1994 Ferrucci, Filomena; Loia, Vincenzo; Pacini, Giuliano; Sessa, Maria Immacolata
Loop Checking for Reduced SLD-Derivations 1-gen-1994 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
Redundancy elimination and loop checks for Logic programs 1-gen-1995 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
Mostrati risultati da 1 a 6 di 6
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