( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Multicontext Logic for Semigroups of Contexts.

, и . AISC, том 2385 из Lecture Notes in Computer Science, стр. 90-101. Springer, (2002)

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.

Brigitte Rolfs

Max Rolfes

Albert Rolff

Joachim Rolf

Bernhard Rolf

 

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

Context-dependent Abduction and Relevance., , и . J. Philos. Log., 35 (1): 65-81 (2006)Nesting Patterns in Fibred Logics of Context.. We Will Show Them! (2), стр. 441-452. College Publications, (2005)Multicontext Logic for Semigroups of Contexts., и . AISC, том 2385 из Lecture Notes in Computer Science, стр. 90-101. Springer, (2002)Smart grid for offshore wind farms: Towards an information model based on the IEC 61400-25 standard., , , и . ISGT, стр. 1-6. IEEE, (2012)Propositional Logic for Ground Semigroups of Context.. Logic Journal of the IGPL, 10 (3): 273-297 (2002)Design Elements for a Better AI-Language.. SCAI, том 1 из Frontiers in Artificial Intelligence and Applications, стр. 237-239. IOS Press, (1988)Deductive Planning Revisited.. SCAI, том 1 из Frontiers in Artificial Intelligence and Applications, стр. 373-381. IOS Press, (1988)On Test and Choice in a High-Level Programming Language.. SCAI, том 28 из Frontiers in Artificial Intelligence and Applications, стр. 317-321. IOS Press, (1995)Automated Theorem Proving Methods.. BIT, 25 (1): 51-64 (1985)Semantical Correspondence Properties of Some Modal Systems of Logic., и . SCAI, том 18 из Frontiers in Artificial Intelligence and Applications, стр. 10-19. IOS Press, (1993)