Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 21 : 21 (21)

Ricerca: Titoli collegati = Pisa. » Collezione = universita degli studi di pisa, dipartimento di informatica » Anno di pubblicazione = 1994
Risultati: 21-21 di 21
 
|« | « | 1|2|3 | |
 
Gallo, Giorgio <1942- >
The satisfiability problem for the Schoenfinkel-Bernays fragment : partial instantiation and hipergraph algorithms / G. Gallo, G. Rago
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009188]
Filtri
  • Livello bibliografico
    • monografia (21)
  • Tipo di materiale
    • testo a stampa (21)
  • Biblioteca
  • Autore
  • Collezione
    • tr (21)
    • universita degli studi di pisa, dipartimento di informatica (21)
    • universita di pisa (21)
  • Luogo di pubblicazione
    • pisa (21)
  • Editore
    • universita degli studi, dipartimento di informatica (21)
  • Anno di pubblicazione
    • 1994 (21)
  • Lingua
    • inglese (21)
  • Paese
    • italia (21)
|« | « | 1|2|3 | |
Risultati: 21-21 di 21