VIVO
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Toward Short and Structural $\mathcal{ALC}$ -Reasoning Explanations: A Sequent Calculus Approach
Chapter
http://dx.doi.org/10.1007/978-3-540-88190-2_22
Overview
Identity
Additional Document Info
View All
Overview
authors
Rademaker, Alexandre
Haeusler, Edward Hermann
publication date
2008
published in
Lecture Notes in Computer Science
Book
Identity
International Standard Book Number (ISBN) 13
978-3-540-88189-6
978-3-540-88190-2
Additional Document Info
number of pages
9
start page
167
end page
176
