( en | de | ru )

 

Disambiguierung von "McRobbie, Michael A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Note on the Admissibility of Cut in Relevant Tableau Systems.

, und . Math. Log. Q., 25 (32): 511-512 (1979)

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.

Michael A Linseis

Michael A Meer

-Michael A Scherer

Michael A Skeide

Michael A Scherer

 

Weitere Publikationen von Autoren mit dem selben Namen

Artificial intelligence: Perspectives and Predictions., und . Applied Artificial Intelligence, 5 (2): 187-207 (1991)Automated Reasoning and Nonclassical Logics: Introduction.. J. Autom. Reason., 7 (4): 447-451 (1991)Artificial Intelligence: Perspectives and Predictions., und . AI Commun., 1 (4): 16-29 (1988)Automated theorem-proving in non-classical logics., , und . Research Notes in Theoretical Computer Science Pitman, (1988)The KRIPKE Automated Theorem Proving System., , und . CADE, Volume 230 von Lecture Notes in Computer Science, Seite 705-706. Springer, (1986)Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation., und . Australian Joint Conference on Artificial Intelligence, Volume 406 von Lecture Notes in Computer Science, Seite 156-176. Springer, (1988)Linear Analytic Tableaux., , und . TABLEAUX, Volume 918 von Lecture Notes in Computer Science, Seite 278-293. Springer, (1995)Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics., , und . CADE, Volume 310 von Lecture Notes in Computer Science, Seite 197-217. Springer, (1988)Approaching Hard Non-Classical Problems., und . J. Autom. Reason., 7 (4): 635-637 (1991)A Note on the Admissibility of Cut in Relevant Tableau Systems., und . Math. Log. Q., 25 (32): 511-512 (1979)