Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Une expressivité sémantique de la complexité d'alternance logique avec des variables continues, Mike Nkongolo et al.
- Langue
- Année de publication
- 2019
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .