( en | de | ru )

 

Disambiguierung von "Murray, Neil V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Signed Formulas and Annotated Logics.

, , und . ISMVL, Seite 48-53. IEEE Computer Society, (1993)

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.

James Neil

Katharine Neil

Henryk Neils

Mattis Neiling

Kathleen Murray

 

Weitere Publikationen von Autoren mit dem selben Namen

Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates., und . LPAR, Volume 698 von Lecture Notes in Computer Science, Seite 277-288. Springer, (1993)Resolution and Path Dissolution in Multi-Valued Logics., und . ISMIS, Volume 542 von Lecture Notes in Computer Science, Seite 570-579. Springer, (1991)Duality in Knowledge Compilation Techniques., und . ISMIS, Volume 3488 von Lecture Notes in Computer Science, Seite 182-190. Springer, (2005)Refined Single-Threading for Parallel Functional Programming., , und . LCR, Seite 321-324. Springer, (1995)Reduced Implicate/Implicant Tries., und . ISMIS, Volume 4994 von Lecture Notes in Computer Science, Seite 203-214. Springer, (2008)Some Remarks on Completeness, Connection Graph Resolution and Link Deletion., , und . TABLEAUX, Volume 1397 von Lecture Notes in Computer Science, Seite 173-186. Springer, (1998)Trie Based Subsumption and Improving the pi-Trie Algorithm., , und . PAAR@IJCAR, Volume 9 von EPiC Series in Computing, Seite 74-83. EasyChair, (2010)The Logic of Time Structures: Temporal and Nonmonotonic Features., und . IJCAI, Seite 1285-1290. Morgan Kaufmann, (1989)On Deleting Links in Semantic Graphs., und . AAECC, Volume 229 von Lecture Notes in Computer Science, Seite 404-415. Springer, (1985)Prime Implicates and Reduced Implicate Tries., und . ISMIS, Volume 5722 von Lecture Notes in Computer Science, Seite 191-200. Springer, (2009)