- 715 p.
Cote : 00021513
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
Localisation : Ouvrage RdC (NAIT)