m
     
Congrès

H 0 Word equations and related topics :
second international workshop, IWWERT '91#Oct. 7-9

Abdulrab, Habib (Editeur) ; Pécuchet, Jean-Pierre (Editeur)

Springer-Verlag

1993

214 p.

978-3-540-56730-1

00021719

68P05 ; 68Q45 ; 68Qxx ; 68R05 ; 68T15

combinatoire # déduction # langage formel # logique mathématique # méthodologie de calcul # optimisation # structure des données informatiques # théorème de preuve

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

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540567301

ISBN : 3-540-56730-5

Collation : 24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 0677

Localisation : Collection 1er étage

Notes : 1991 année ACM

Numéro de congrès : 2

Année de la rencontre : 1991

Ville du congrès : Rouen

Pays du congrès : France

Code ACM : E.1 ; F.4.1 ; F.4.3 ; I.2.3

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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

[disponible]
Z