algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme

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

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540562542

ISBN : 3-540-56254-0

Collation : Bibligor. ; fig.#appendix#24 cm#rel. ; Index

Collection : EATCS monographs on theoretical computer science

Localisation : Ouvrage RdC (SCHM)

Code ACM : B.6 ; D.2.4 ; F.3.1 ; F.3.2 ; G.2

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires