m
     
Ouvrage

H 0 The logic of partial information

Nait Abdallah, Areski (Principal)

Springer

1995

715 p.

978-3-540-56583-3

00021513

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

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

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540565833

ISBN : 3-540-56583-3

Collation : Bibliogr. ; fig.#24 cm#rel. ; Index

Collection : Monographs in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (NAIT)

Code ACM : F.3.1 ; F.3.2 ; F.4.1 ; I.2.3 ; I.2.4

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00021513

[disponible]
Z