Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 1 : 5 (5)

Ricerca: Titoli collegati = Pisa. » Tipo di materiale = testo a stampa » Collezione = tr » Anno di pubblicazione = 1991 » Autore = levi, giorgio <1942- >
Risultati: 1-5 di 5
 
| | |
 
Gabbrielli, Maurizio
Unfolding and fixpoint semantics of concurrent constraint logic programs / M. Gabbrielli, G. Levi
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008374]
Gabbrielli, Maurizio
Modeling answer constraints in constraint logic programs / M. Gabbrielli, G. Levi
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008380]
Gabbrielli, Maurizio
The semantics of logic programming as a programming language / M. Gabbrielli, G. Levi
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008393]
Alpuente, Maria
Incremental constraint satisfaction for equational logic programming / M. Alpuente, M. Falaschi, G. Levi
Pisa ; Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008407]
Barbuti, Roberto
A general framework for semantics-based bottom-up abstract interpretation of logic programs / R. Barbuti, R. Giacobazzi, G. Levi
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008397]
Filtri
  • Livello bibliografico
    • monografia (5)
  • Tipo di materiale
    • testo a stampa (5)
  • Biblioteca
    • Biblioteca universitaria di Pisa (5)
  • Autore
  • Collezione
    • tr (5)
    • universita degli studi di pisa, dipartimento di informatica (5)
    • universita di pisa (5)
  • Luogo di pubblicazione
  • Editore
  • Anno di pubblicazione
    • 1991 (5)
  • Lingua
    • inglese (5)
  • Paese
    • italia (5)
| | |
Risultati: 1-5 di 5