Sfoglia per Corso calcolo numerico e informatica
Mostrati risultati da 1 a 13 di 13
Un approccio combinatorio alla teoria delle funzioni simmetriche dottorato di ricerca in calcolo numerico e informatica
1989
Combinazione di algoritmi di unificazione equazionale nell'unificazione universale dottorato di ricerca in calcolo numerico e informatica
1988
Metodi basati sulla teoria delle serie formali nell'analisi di algoritmi per problemi su linguaggi dottorato di ricerca in calcolo numerico e informatica
1988
Metodi e strumenti per l'osservazione della computazione dottorato di ricerca in calcolo numerico e informatica
1989
Una metodologia per la specifica di sistemi e linguaggi concorrenti dottorato di ricerca in calcolo numerico e informatica
1989
La negazione intensionale di programmi logici dottorato di ricerca in calcolo numerico e informatica
1988
Osservatore, reti di Petri, processi dottorato di ricerca in calcolo numerico e informatica
1988
Ottimazione di interrogazioni logiche ricorsive a basi di dati relazionali dottorato di ricerca in calcolo numerico e informatica
1989
Ottimizzazione non differenziabile dottorato di ricerca in calcolo numerico e informatica
1988
Programmazione logica semantica composizionale, strutture algebriche e programmi completi dottorato di ricerca in calcolo numerico e informatica
1988
Reti di neuroni un approccio computazionale allo studio del sistema nervoso dottorato di ricerca in calcolo numerico e informatica
1988
Specifica e realizzazione di ambienti di sviluppo del software dottorato di ricerca in calcolo numerico e informatica
1988
Strutture ad ordinamenti parziali nella semantica dichiarativa dei linguaggi logici dottorato di ricerca in calcolo numerico e informatica
1988
Mostrati risultati da 1 a 13 di 13
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