Automatic demonstration / symposium on ..., held at Versailles [Rocquencourt], December 1968 ; ed. M. Laudet, D. Lacombe, L. Nolin and M. Schützenberger ; org. Institut de recherche en informatique et en automatique

Date : 1970

Editeur / Publisher : Berlin : Springer , 1970

Type : Livre / Book

Langue / Language : multilingue / Multiple languages

Schützenberger, Marcel Paul (1920-1996) (Editeur scientifique / editor)

Nolin, Louis (....-1997) (Editeur scientifique / editor)

Lacombe, Daniel (19..-2016 ; mathématicien) (Editeur scientifique / editor)

Laudet, Michel (1900-2003) (Editeur scientifique / editor)

Collection : Lecture notes in mathematics / ed. by A. Dold and B. Eckmann / Berlin : Springer , 1964-