m

Documents  Nait Abdallah, Areski | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 715 p.
ISBN 978-3-540-56583-3

Monographs in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (NAIT)

dynamique des processus logiques # ion d'information partiel # langage de programmation # logique de proposition partielle # logique et spécification de programme # logique mathématique # méthode # physique théorique # programmation logique # représentation de connaissance # système logique # sémantique # théorème de preuve # vérification de programme

68N15 ; 68Q45 ; 68Q50 ; 68Q55 ; 68Qxx

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z