Search Results1-5 of  5

  • 国立情報学研究所 ID: 9000348887667

    Articles in CiNii:14

    • A Linear Equality and Inequality Constraint Solver for User Interfaces (2002)
    • Speculative Computation by Abduction in Agent Communication (2003)
    • Consistency of Taxonomies for Ontology Development (2004)
  • 国立情報学研究所 : 東京工業大学 ID: 9000348888742

    Articles in CiNii:1

    • Rules for Safe Composition of Mixins (2003)
  • 国立情報学研究所 ID: 9000348890208

    Articles in CiNii:1

    • 35歳定年説(サイバー増大号) (2005)
  • 国立情報学研究所 ID: 9000348892296

    Articles in CiNii:4

    • Introduction to Advanced Software Tools (2007)
    • Introduction to Lightweight Program Verifier ESC/Java2 (2007)
    • The Z Specification Language and the Proof Environment Isabelle/HOL-Z (2007)
  • National Institute of Informatics Scholarly Communication Office ID: 9000021347510

    Articles in CiNii:1

    • Current and future perspectives of International Scholarly Communication Initiative in SPARC/JAPAN (2005)
Page Top