Collections Back
Found 1 from your keywords: Author : "Stephan Schulz"
Query took 0.30195 second(s) to complete

Proceedings of the 8th international workshop on the implementation of logics

Author(s) : Geoff Sutcliffe - Eugenia Ternovska - Stephan Schulz -