Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 1 : 10 (27)

Ricerca: Titoli collegati = Pisa. » Tipo di materiale = testo a stampa » Collezione = tr » Anno di pubblicazione = 1991 » Lingua = inglese
Risultati: 1-10 di 27
 
| | 1 |2|3| » | »|
 
Kakas, Antonis C.
Stable theories for logic programs / A. C. Kakas, P. Mancarella
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008404]
Non-determinism in deductive databases / F. Giannotti ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008408]
Masini, Andrea <1958- >
2-Sequent calculus : intuitionism and natural deduction / Andrea Masini
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008413]
Masini, Andrea <1958- >
2-Sequent calculus : classical modal logic / A. Masini
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008398]
Modelling prolog control / R. Barbuti ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008410]
Brogi, Antonio <informatico>
Compositional model-theoretic semantics for logic programs / A. Brogi, E. Lamma, P. Mello
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008391]
Apt, Krzysztof R. <1949->
Reasoning about termination of prolog programs / K. R. Apt, D. Pedreschi
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008399]
Bertossi, A. A.
Fault-tolerant task scheduling in multiprocessor systems / A. A. Bertossi, L. V. Mancini
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008402]
Contributions to the semantics of open logic programs / A. Bossi ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008403]
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]
Filtri
  • Livello bibliografico
    • monografia (27)
  • Tipo di materiale
    • testo a stampa (27)
  • Biblioteca
    • Biblioteca universitaria di Pisa (27)
  • Autore
  • Collezione
    • tr (27)
    • universita degli studi di pisa, dipartimento di informatica (27)
    • universita di pisa (27)
  • Luogo di pubblicazione
  • Editore
  • Anno di pubblicazione
    • 1991 (27)
  • Lingua
    • inglese (27)
  • Paese
    • italia (27)
| | 1 |2|3| » | »|
Risultati: 1-10 di 27