skip to main content

Identificazione attraverso mondi e concetti assoluti in logica temporale. 1. - Semantica e risultati di non caratterizzabilità

Rossetto, Tiziana (sec. 20.-)

In: Atti. Classe di scienze fisiche, matematiche e naturali. - Tomo 146. (1987-1988). - Venezia : Istituto Veneto di Scienze, Lettere ed Arti, 1988. - 161-188 p.

Risorsa digitale

  • Titolo:
    Identificazione attraverso mondi e concetti assoluti in logica temporale. 1. - Semantica e risultati di non caratterizzabilità
  • Autore: Rossetto, Tiziana (sec. 20.-)
  • Descrizione: Identificazione attraverso mondi e concetti assoluti in logica temporale. 1. - Semantica e risultati di non caratterizzabilità / Tiziana Rossetto, Alberto Zanardo. In: Atti. Classe di scienze fisiche, matematiche e naturali. - Tomo 146. (1987-1988). - Venezia : Istituto Veneto di Scienze, Lettere ed Arti, 1988. - 161-188 p.
  • Fa parte di: Atti. Tomo 146. (1987-1988). Classe di scienze fisiche, matematiche e naturali [ISS-IVSLA100182]
  • Altri autori: Zanardo, Alberto (1953-)
  • Data: 1988
  • Collezione: Atti di accademie italiane ; Istituto veneto di scienze, lettere ed arti

Ricerca in corso nelle risorse remote ...