Risultati sintetici

                                                Catalogo delle Biblioteca Universitaria di Pisa
                   
Ricerca:  Titoli collegati = Pisa.  >> Anno di pubblicazione = 1991 >> Editore = universita degli studi, dipartimento di informatica
Risultati: 1-10 di (26)


1. Nguyen, Sang       
 Ipercammini attivi in reti di trasporto / S. Nguyen, S. Pallottino       
Pisa : Universita degli studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008385]
          
2. 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]
          
3. 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]
          
4. 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]
          
5.  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]
          
6.  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]
          
7. Linzitto, Riccardo       
 Distributed simulation for system performance evaluation / R. Linzitto, S. Balsamo, L. Donatiello       
Pisa : Universita degli studi, Dipartimento di informatica, stampa 1991       
Collocazione:  R1COLL.UNIV.Pisa 11A
Monografia - Testo a stampa [PIS0008341]
          
8. Gabbrielli, Maurizio       
 Unfolding and fixpoint semantics of concurrent constraint logic programs / M. Gabbrielli, G. Levi       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008374]
          
9. Grossi, Roberto <informatico>       
 A simple solution for detecting mismatching palindromes in a string / R. Grossi       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008390]
          
10. 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]