Geoff Sutcliffe - A Web Based Annotated Bibliography - Aigaion 2.0

BROWSE
EXPORT
- Export all publications
- Export author
SORT BY
- Author
- Title
- Type/Journal
- Year
- Recently added
SITE
- Help
- About this site
GUEST USER
Topic Subscribe
LOGIN
Name:

Password:

Deutsch, English, Nederlands, Norsk, <more...>

First name(s):	Geoff
Last name(s):	Sutcliffe

Stefan Wölfl, Till Mossakowski and Lutz Schröder, Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007

download

processing time: 0.0376 seconds.