"
Articoli pubblicati da: Maretti, Enrico


Risultato della ricerca: (8 titoli )

Un algoritmo di valutazione per insiemi di proposizioni inanalizzate
Informatica e diritto - 1977
Scheda completa: full text, export citazione, ACNP, libri su BNCF

Intervento all'11. convegno
Rivista di politica economica - 1964
Scheda completa: full text, export citazione, ACNP, libri su BNCF

Modelli algoritmici di strutture sillogistiche
Informatica e diritto - 1976
Scheda completa: full text, export citazione, ACNP, libri su BNCF

Modelli operativi di sistemi giuridici positivi. Guida alla lettura di 'Logica, Informatica, Diritto'
Informatica e diritto - 1978
Scheda completa: full text, export citazione, ACNP, libri su BNCF

Modello interattivo di prescrizioni giuridiche condizionali: una sperimentazione in APL
Informatica e diritto - 1975
Scheda completa: full text, export citazione, ACNP, libri su BNCF

Modello interattivo per la valutazione di insiemi di espressioni predicative
Informatica e diritto - 1979
Scheda completa: full text, export citazione, ACNP, libri su BNCF

La redazione mediante calcolatore di testi giuridici
Informatica e diritto - 1977
Scheda completa: full text, export citazione, ACNP, libri su BNCF

Strumenti alternativi di descrizione e comunicazione nel diritto
Informatica e diritto - 1975
Scheda completa: full text, export citazione, ACNP, libri su BNCF