( en | de | ru )

 

Disambiguierung von "Nossum, Rolf"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multicontext Logic for Semigroups of Contexts.

, und . AISC, Volume 2385 von Lecture Notes in Computer Science, Seite 90-101. Springer, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Anke Rolfes-Bußmann

Thomas Marten Rolfs

Gerda Rolfes

Brigitte Rolfs

Max Rolfes

 

Weitere Publikationen von Autoren mit dem selben Namen

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