Location & Availability for: A Proof Theory for Description Logics

 Staff view

You must be logged in to Tag Records

A Proof Theory for Description Logics [electronic resource] /

by Alexandre Rademaker.

Book Cover
Author: Rademaker, Alexandre.
Published: London : Springer London : Imprint: Springer, 2012.
Series: SpringerBriefs in Computer Science,
Topics: Computer science. | Computer Science. | Mathematical Logic and Formal Languages. | Mathematics of Computing.
Online Access: Link to A Proof Theory for Description Logics (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Benedictine University

Loading Holdings Data ... Loading

Location & Availability for: A Proof Theory for Description Logics