HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Hans-Jörg Schurr

Publications
Capability Discovery for Automated Reasoning Systems
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr and Christoph Benzmüller
In:IWIL Workshop and LPAR Short Presentations
Copyright © 2012-2025 easychair.org. All rights reserved.