Jump to main content

yr 〜
yr

Search results 5

The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]. 2nd ed., pbk. ed.

The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]. 2nd ed., pbk. ed.
Paper図書
Cambridge University Press2010.<M121-B125>
National Diet Library
  • Subject HeadingDescription logics -- Handbooks, manuals, etc. Terminologische Logik.

Web reasoning and rule systems : fourth international conference, RR 2010 : Bressanone/Brixen, Italy, September 22-24, 2010 : proceedings. : annual international conference on web reasoning and rule systems : Sep 2010, Bressanone, Italy. (Lecture Notes in Computer Science ; 6333)

Web reasoning and rule systems : fourth international conference, RR 2010 : Bressanone/Brixen, Italy, September 22-24, 2010 : proceedings. : annual international conference on web reasoning and rule systems : Sep 2010, Bressanone, Italy. (Lecture Notes in Computer Science ; 6333)
Paper図書
Springerc2010.<M17-11-252>
National Diet Library
  • Subject HeadingSemantic Web. Terminologische Logik. Ontologie <Wissensverarbeitu...

Reasoning web : semantic technologies for information systems : 5th international summer school 2009 : Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures. : Aug 2009, Brixen-Bressanone, Italy. (Lecture Notes in Computer Science ; 5689. Tutorial)

Reasoning web : semantic technologies for information systems : 5th international summer school 2009 : Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures. : Aug 2009, Brixen-Bressanone, Italy. (Lecture Notes in Computer Science ; 5689. Tutorial)
Paper図書
Springerc2009.<M17-10-2373>
National Diet Library
  • Subject Heading... -- Vagheit -- Terminologische Logik -- Kongress --...... Semantic Web. Terminologische Logik. Unsicherheit. Vagheit. Wisse...

Description logic rules : IOS Press : AKA

Description logic rules : IOS Press : AKA
Paper図書
Markus KrötzschIOS Pressc2010
Other Libraries in Japan
  • Subject HeadingTerminologische Logik
  • Subject Heading (ID)Terminologische Logik

Web reasoning and rule systems : third international conference, RR 2009 : Chantilly, VA, USA, October 25-26, 2009 : proceedings. : Oct 2009, Chantilly, VA. (Lecture Notes in Computer Science ; 5837)

Web reasoning and rule systems : third international conference, RR 2009 : Chantilly, VA, USA, October 25-26, 2009 : proceedings. : Oct 2009, Chantilly, VA. (Lecture Notes in Computer Science ; 5837)
Paper図書
Springerc2009.<M17-10-1991>
National Diet Library
  • Subject Heading...erarbeitung -- Terminologische Logik -- Kongress --...... Semantic Web. Terminologische Logik. Wissensextraktion. Wissensre...

Reached to the end of result.

RSS