Il libro è attualmente esaurito
Maggiori informazioni sul libro
Texte Universitaire de l'année 2019 dans le domaine Informatique - Divers, note: Msc, University of the Witwatersrand (University), cours: Symbolic Logics, langue: Français, résumé Nous montrons que les logiques temporelles de temps de branchement, ainsi que les logiques temporelles a temps alternatif, sont expressif dans la langue avec une seule variable propositionnelle ou avec une offre limite de variables.
Acquisto del libro
Une expressivité sémantique de la complexité d'alternance logique avec des variables continues, Mike Nkongolo et al.
- Lingua
- Pubblicato
- 2019
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.