Author of the publication

Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications.

, , , , , , , and . HPDC, page 252-259. IEEE Computer Society, (1998)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Artificial intelligence: Perspectives and Predictions., and . 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., and . AI Commun., 1 (4): 16-29 (1988)A Note on the Admissibility of Cut in Relevant Tableau Systems., and . Math. Log. Q., 25 (32): 511-512 (1979)Approaching Hard Non-Classical Problems., and . J. Autom. Reason., 7 (4): 635-637 (1991)Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications., , , , , , , and . HPDC, page 252-259. IEEE Computer Society, (1998)Automated theorem-proving in non-classical logics., , and . Research Notes in Theoretical Computer Science Pitman, (1988)The KRIPKE Automated Theorem Proving System., , and . CADE, volume 230 of Lecture Notes in Computer Science, page 705-706. Springer, (1986)Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation., and . Australian Joint Conference on Artificial Intelligence, volume 406 of Lecture Notes in Computer Science, page 156-176. Springer, (1988)Linear Analytic Tableaux., , and . TABLEAUX, volume 918 of Lecture Notes in Computer Science, page 278-293. Springer, (1995)