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

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RDA

Language : English

EAN13 : 9783540562542

ISBN : 3-540-56254-0

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

Series : EATCS monographs on theoretical computer science

Location : Ouvrage RdC (SCHM)

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

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies