Word equations and related topics :
1st international workshop iwwert'90#Oct. 1-3
algorithme # langage formel # logique mathématique # structure de donnée # théorème de la preuve
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9783540551249
ISBN : 3-540-55124-7
Collation : 24 cm#broch. ; Bibliogr.
Collection : Lecture notes in computer science
N° de collection : 0572
Localisation : Collection 1er étage
Numéro de congrès : 1
Année de la rencontre : 1990
Ville du congrès : Tubingen
Pays du congrès : Allemagne
Code ACM : E.1 ; F.4.1 ; I.2.3
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00014316 | [disponible] |