Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 1 : 10 (33)

Ricerca: Titoli collegati = Pisa. » Anno di pubblicazione = 1991 » Lingua = inglese
Risultati: 1-10 di 33
 
| | 1 |2|3|4| » | »|
 
An overview of work on semantic taxonomies in Pisa / A. Alonge ... [et al.]
Pisa : Istituto di linguistica computazionale, 1991
Monografia - Testo a stampa [PIS0005832]
Masini, Andrea <1958- >
2-Sequent calculus : classical modal logic / A. Masini
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008398]
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]
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]
Non-determinism in deductive databases / F. Giannotti ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008408]
Modelling prolog control / R. Barbuti ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008410]
International conference on Achieving quality in software <1991 ; Pisa>
International conference on Achieving quality in software: AQuIS '91 : Pisa, Italy, april 22-24, 1991 / edited by Paolo Ancilotti, Mario Fusani
Pisa : ETS, stampa 1991
Monografia - Testo a stampa [CFI0223379]
Linzitto, Riccardo
Distributed simulation for system performance evaluation / R. Linzitto, S. Balsamo, L. Donatiello
Pisa : Universita degli studi, Dipartimento di informatica, stampa 1991
Monografia - Testo a stampa [PIS0008341]
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]
Grossi, Roberto <informatico>
A simple solution for detecting mismatching palindromes in a string / R. Grossi
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008390]
Filtri
  • Livello bibliografico
    • monografia (33)
  • Tipo di materiale
    • testo a stampa (33)
  • Biblioteca
    • Biblioteca universitaria di Pisa (33)
  • Autore
  • Soggetto
  • Collezione
  • Luogo di pubblicazione
  • Editore
  • Anno di pubblicazione
    • 1991 (33)
  • Lingua
  • Paese
    • italia (33)
| | 1 |2|3|4| » | »|
Risultati: 1-10 di 33