Proof Theory for Description Logics (Springerbriefs in Computer Science)

by Alexandre Rademaker

Paperback

details (UK).
(see also: eBook (Kindle))

ISBN: 978-1-4471-4002-3

ISBN-10: 1-4471-4002-8

Not Avail · 2014