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
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : États-Unis
Language : English
EAN13 : 9783540551249
ISBN : 3-540-55124-7
Collation : 24 cm#broch. ; Bibliogr.
Series : Lecture notes in computer science
Nb in series : 0572
Location : Collection 1er étage
Event Number : 1
Event Year : 1990
City of congres : Tubingen
Country of congres : Allemagne
ACM code : E.1 ; F.4.1 ; I.2.3
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00014316 | [available] |