Risultati sintetici

                                                Catalogo delle Biblioteca Universitaria di Pisa
                   
Ricerca:  Titoli collegati = Pisa.  >> Tipo di materiale = testo a stampa >> Collezione = tr >> Anno di pubblicazione = 1991 >> Lingua = inglese
Risultati: 1-10 di (27)


1. Kakas, Antonis C.       
 Stable theories for logic programs / A. C. Kakas, P. Mancarella       
Pisa : Universita degli studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008404]
          
2.  Non-determinism in deductive databases / F. Giannotti ... [et al.]       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008408]
          
3. Masini, Andrea <1958- >       
 2-Sequent calculus : intuitionism and natural deduction / Andrea Masini       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008413]
          
4. Masini, Andrea <1958- >       
 2-Sequent calculus : classical modal logic / A. Masini       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008398]
          
5.  Modelling prolog control / R. Barbuti ... [et al.]       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008410]
          
6. Brogi, Antonio <informatico>       
 Compositional model-theoretic semantics for logic programs / A. Brogi, E. Lamma, P. Mello       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008391]
          
7. Apt, Krzysztof R. <1949->       
 Reasoning about termination of prolog programs / K. R. Apt, D. Pedreschi       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008399]
          
8. Bertossi, A. A.       
 Fault-tolerant task scheduling in multiprocessor systems / A. A. Bertossi, L. V. Mancini       
Pisa : Universita degli studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008402]
          
9.  Contributions to the semantics of open logic programs / A. Bossi ... [et al.]       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008403]
          
10. Alpuente, Maria       
 Incremental constraint satisfaction for equational logic programming / M. Alpuente, M. Falaschi, G. Levi       
Pisa ; Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008407]