A resolution-based calculus for temporal logics [Elektronische Ressource] / von Andreas Nonnengart
195 pages

A resolution-based calculus for temporal logics [Elektronische Ressource] / von Andreas Nonnengart

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
195 pages
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Sujets

Informations

Publié par
Publié le 01 janvier 2004
Nombre de lectures 20
Poids de l'ouvrage 2 Mo

Extrait

  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents