00963nam0-22003611i-450-9900013497804033210-444-89822-0000134978FED01000134978(Aleph)000134978FED0100013497820000920d1994----km-y0itay50------baengSelected papers on AutomathEdited by R. P. Nederpelt, J. H. Geuvers, R. C. De VrijerAmsterdamElsevier1994xix, 1024 p.24 cmAutomathCalcolo lambdaSelected492651De Vrijer,R.C.Geuvers,J.H.Nederpelt,R.P.ITUNINARICAUNIMARCBK990001349780403321C-30-(13314237MA1MA103B5503B4000B60Selected papers on Automath376158UNINAING01