( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An example of goal-directed proof.

, , и . CoRR, (2023)

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.

Michael Winter

Michael Winter

Michael Winter

Michael Winter

Michael Winter

 

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

Time-Dependent Contact Structures in Goguen Categories.. RelMiCS, том 3929 из Lecture Notes in Computer Science, стр. 249-262. Springer, (2005)Weak Contact Structures., и . RelMiCS, том 3929 из Lecture Notes in Computer Science, стр. 73-82. Springer, (2005)Type-n Arrow Categories.. RAMiCS, том 10226 из Lecture Notes in Computer Science, стр. 307-322. (2017)Topological Representation of Contact Lattices., , , и . RelMiCS, том 4136 из Lecture Notes in Computer Science, стр. 135-147. Springer, (2006)A cybernetic multi-agent approach for a micro grid in rural areas., , , , и . INDIN, стр. 18-23. IEEE, (2015)Applications of the Viable System Model in automotive and battery storage systems., , , , , и . SMC, стр. 1747-1752. IEEE, (2016)eCARus - Analysis of an established student hands-on project., , , , , , и . EDUCON, стр. 157-162. IEEE, (2016)Construction of Boolean contact algebras., и . AI Commun., 17 (4): 235-246 (2004)Products in categories of relations.. J. Log. Algebraic Methods Program., 76 (1): 145-159 (2008)An example of goal-directed proof., , и . CoRR, (2023)