Article

Archive Correspondence Individual mail folders G. S. Tseitin

Article

Article

"Autoformalization of professional knowledge and its tools".

Date:

01.09.1986

Authors:

Grigori S. Tseitin

People:

Grigori R. Gromov