( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Knowledge Interchange Format, Version 3.0 Reference Manual

, и . Logic-92-1. Stanford University, Stanford, CA, USA, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

M R Buchmeiser

Jonas M R Lindert

R M W Dixon

Ester M R Ruprecht

Fridolin M R Walther

 

Другие публикации лиц с тем же именем

Residue: A deductive Approach to Design Synthesis, и . Technical Report, STAN-CS-85-1035. Department of Computer Science, Stanford University, Stanford, CA, (1985)Knowledge Interchange Format, Version 3.0 Reference Manual, и . Logic-92-1. Stanford University, Stanford, CA, USA, (1992)Logical Foundations of Artificial Intelligence, и . Morgan Kaufmann, Los Altos, CA, (1987)The use of design descriptions in automated diagnosis. Artificial Intelligence, 24 (1-3): 411--436 (декабря 1984)