• 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

Generuje redakčný systém BUXUS CMS spoločnosti ui42.