Fr. 25.50

Mike Nkongolo et al, Mike Nkongolo et al.

Une expressivité sémantique de la complexité d'alternance logique avec des variables continues

French · Paperback / Softback

Shipping usually within 1 to 2 weeks (title will be printed to order)

Description

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.

Product details

Authors	Mike Nkongolo et al, Mike Nkongolo et al.
Publisher	Grin Verlag

Languages	French
Product format	Paperback / Softback
Released	01.01.2019

EAN	9783668876750
ISBN	978-3-668-87675-0
No. of pages	28
Dimensions	148 mm x 210 mm x 1 mm
Weight	56 g
Subjects	Guides Natural sciences, medicine, IT, technology > IT, data processing > Miscellaneous

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.