- Francúzsky jazyk
Une expressivité sémantique de la complexité d'alternance logique avec des variables continues
Autor: Mike Nkongolo et al.
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... Viac o knihe
Na objednávku
16.65 €
bežná cena: 18.50 €
O knihe
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.
- Vydavateľstvo: GRIN Verlag
- Rok vydania: 2019
- Formát: Paperback
- Rozmer: 210 x 148 mm
- Jazyk: Francúzsky jazyk
- ISBN: 9783668876750