Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | GRIN Verlag |
| Ersterscheinung | 14. Februar 2019 |
| Maße | 21 cm x 14.8 cm x 0.3 cm |
| Gewicht | 56 Gramm |
| Format | Softcover |
| ISBN-13 | 9783668876750 |
| Auflage | 1. Auflage |
| Seiten | 28 |