Start Over
You searched for: subject "Description logics."

Search Results

Cover image for Non-standard inferences in description logics

Non-standard inferences in description logics

Location
Access Content Online
Cover image for The description logic handbook

The description logic handbook

  • 2003
  • Format: Book
Location Call # Status
Joyner - General Stacks Q387.3 .D47 2003 ✔ Available
Cover image for Description logic rules

Description logic rules

Location
Access Content Online
Cover image for Semantic matchmaking with nonmonotonic description logics

Semantic matchmaking with nonmonotonic description logics

Location
Access Content Online
Cover image for The description logic handbook

The description logic handbook

  • 2003
  • Format: Electronic
Location
Access Content Online
Cover image for A proof theory for description logics

A proof theory for description logics

Location
Access Content Online
Cover image for Reference and modality

Reference and modality

Location Call # Status
Joyner - General Stacks BC199.M6 L54 ✔ Available
Cover image for A general interpreted modal calculus

A general interpreted modal calculus

Location Call # Status
Joyner - General Stacks BC199.M6 B73 1972 ✔ Available
Cover image for Names and descriptions

Names and descriptions

Location Call # Status
Joyner - General Stacks B105.R25 L56 ✔ Available
Cover image for VHDL Coding and Logic Synthesis with Synopsys

VHDL Coding and Logic Synthesis with Synopsys

Location
Access Content Online