1. 2006
  2. Published

    Ontological Constitutions for Classes and Properties. / Nilsson, Jørgen Fischer (Invited author).

    14th Int. Conf. on Conceptual Structures, ICCS 2006. Vol. Lecture Notes in Artificial Intelligence (LNAI), vol. 4068 2006.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2006

  3. Published

    Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 16, 2006, p. 737-763.

    Publication: Research - peer-reviewJournal article – Annual report year: 2006

Previous 1...10 11 12 13 14 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word