登入選單
Google圖書搜尋
Decidability of the Confluence of Ground Term Rewr...
作者
Institut National de Recherche en Informatique et en Automatique / Pierre Lescanne / Thierry Heuillard / Max Dauchet / Sophie Tison
出版1987
ISBN
OCLC:123327219
TAPSOFT'97: Theory and Practice of Software Develo...
作者
Michel Bidoit / Max Dauchet
出版Springer Science & Business Media, 1997-04-02
ISBN
3540627812 / 9783540627814
主題
Computers
CAAP '88
作者
Max Dauchet
出版Springer Science & Business Media, 1988-03-09
ISBN
354019021X / 9783540190219
主題
Computers
Caap '88
作者
Max Dauchet / Maurice Nivat
出版2014-01-15
ISBN
3662214946 / 9783662214947
Mathematical Foundations of Programming Language S...
出版1988
ISBN
0387190201 / 9780387190204
主題
Artificial intelligence
Transductions inversibles de forêts
作者
Max Dauchet
出版1975
ISBN
OCLC:490144214
Théorie des magmoi͏̈des
作者
André Arnold / Max Dauchet
出版1977
ISBN
OCLC:25304017
13th Colloque sur les arbres en algèbre et en prog...
作者
M. Dauchet
出版1990
ISBN
OCLC:897987395
Exercices d'analyse
作者
Max Dauchet / plateau
出版1972
ISBN
OCLC:1029878269
Les arbres en algèbre et en programmation
出版1978
ISBN
UOM:39015050451999
主題
Computational complexity
Transductions de forêts, bimorphismes de magmoïdes
作者
Max Dauchet (auteur d'une thèse de sciences.)
出版1977
ISBN
OCLC:464758524
Forets algebriques strictes et bimorphismes
作者
André Arnold / M. Dauchet
出版1975
ISBN
OCLC:897775543