Murray, Neil V.
VIAF ID: 35302397 ( Personal )
Permalink: http://viaf.org/viaf/35302397
Preferred Forms
-
-
- 100 1 _ ‡a Murray, Neil V.
- 100 1 _ ‡a Murray, Neil V.
- 100 1 0 ‡a Murray, Neil V.
-
-
-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings | |
Foundations of Intelligent Systems (vol. # 3488) : 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings | |
TABLEAUX'99 |