There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-37187-8

ISBN (Electronic): 978-3-540-37188-5

Publication date (Print): 2006

DOI: 10.1007/11814771

SO-VID: 86a0a134-8692-4ce6-ad03-d5673aa880a1

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 6

Formal verification of a proof procedure for the description logic ALC
Authors: Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions
Authors: Naoki Nishida, Yuya Maeda
Incremental SAT Library Integration Using Abstract Stobjs
Authors: Sol Swords

See all cited by

Automated Reasoning

Read this book at