Matthias Horbach

Add to favorites

Author

Matthias Horbach

Wikipedia: Matthias Horbach

Share on Twitter

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Superposition-based Decision Procedures for Minimal Models

Superposition-based Decision Procedures for Minimal Models
First-order Theorem Proving for Fixed Domain and Minimal Model Validity »

domReadyCallbacks.push( function() { new Error('Sorry, you can only do this when you're logged in. If you're not a member yet, please join us.'); });