RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 31 - 40 di 40 (tempo di esecuzione: 0.025 secondi).
Su uno speciale metodo di approssimazione polinomiale per funzioni di più variabili
1979-01-01 C. Dagnino; F. Caliò
Sul calcolo numerico di due prodotti infiniti
1972-01-01 G. ALLASIA
Surmising is sometimes better than proving
1978-01-01 P. Degano; Franco Sirovich
Surmising properties from computations
1978-01-01 P. Degano; Franco Sirovich
Sviluppo teorico e sperimentale di formule di cubature totalmente simmetriche
1979-01-01 C. Dagnino; F. Caliò
TEL: A Proof-Theoretic Language for Efficient Symbolic Expression Manipulation
1977-01-01 G. Levi; Franco Sirovich
Un Linguaggio Intermedio per un Sistema Interattivo di Sviluppo di Software per Livelli di Astrazione
1978-01-01 P. Asirelli; F. Gimona; F. Sirovich
Un metodo per l'integrazione numerica bidimensionale di una particolare classe di funzioni
1978-01-01 C. Dagnino; F. Caliò
Una nuova interpretrazione dell'"Apocalisse" al Congresso di Patristica di Oxford
1979-01-01 C. Mazzucco
Una ricerca sul territorio di Gattinara
1977-01-01 T. TELMON
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Su uno speciale metodo di approssimazione polinomiale per funzioni di più variabili | 1979 | C. Dagnino; F. Caliò | |
Sul calcolo numerico di due prodotti infiniti | 1972 | G. ALLASIA | |
Surmising is sometimes better than proving | 1978 | P. Degano; Franco Sirovich | |
Surmising properties from computations | 1978 | P. Degano; Franco Sirovich | |
Sviluppo teorico e sperimentale di formule di cubature totalmente simmetriche | 1979 | C. Dagnino; F. Caliò | |
TEL: A Proof-Theoretic Language for Efficient Symbolic Expression Manipulation | 1977 | G. Levi; Franco Sirovich | |
Un Linguaggio Intermedio per un Sistema Interattivo di Sviluppo di Software per Livelli di Astrazione | 1978 | P. Asirelli; F. Gimona; F. Sirovich | |
Un metodo per l'integrazione numerica bidimensionale di una particolare classe di funzioni | 1978 | C. Dagnino; F. Caliò | |
Una nuova interpretrazione dell'"Apocalisse" al Congresso di Patristica di Oxford | 1979 | C. Mazzucco | |
Una ricerca sul territorio di Gattinara | 1977 | T. TELMON |
Risultati 31 - 40 di 40 (tempo di esecuzione: 0.025 secondi).
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
Opzioni
Scopri
Tipologia
- 07-ALTRO PRODOTTO SCIENTIFICO 40
- 07-ALTRO PRODOTTO SCIENTIFICO::07... 40
Data di pubblicazione
- 1979 9
- 1978 10
- 1977 6
- 1976 4
- 1974 3
- 1973 4
- 1972 4
Rivista
- BULLETTINO DELL'ISTITUTO DI DIRIT... 1
- HENOCH 1
Keyword
- Artificial Intelligence 3
- symbolic execution 3
- executable program specifications 2
- Problem Solving 2
- Abraham De Moivre 1
- AND/OR graphs 1
- Apocalisse di Giovanni 1
- ARTIFICIAL INTELLIGENCE 1
- Automatic Learning 1
- Church-Rosser and Noetherian prop... 1
Lingua
- ita 2
Accesso al fulltext
- no fulltext 40