Search
Now showing items 1-10 of 19
Constructing Rule-Based Solvers for Intentionally-Defined Constraints
Sobhi, Ingi; Abdennadher, Slim; Betz, Hariolf; Schrijvers, T.; Frühwirth, T. (2008)
Teil eines Buches
Welcome to Constraint Handling Rules
Frühwirth, Thom; Schrijvers, T.; Frühwirth, T. (2008)
Teil eines Buches
Constraints in Procedural and Concurrent Languages
Frühwirth, Thom; Michel, L.; Schulte, C.; Rossi, F.; Beek, P. van; Walsh, T. (2006)
Teil eines Buches
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs
Frühwirth, Thom; Di Pierro, A.; Wiklicky, H. (2002)
Teil eines Buches
ECTS und Kreditakkumulation: Das Ulmer Modell
Gehring, Wolfgang (2003)
Teil eines Buches
A Programmer Friendly Modular Definition of the Semantics of Java.
Börger, Egon; Schulte, Wolfram; Alves-Foss, J. (1999)
Teil eines Buches
An Introduction to Interactive Theorem Proving
Nipkow, T.; Reif, Wolfgang; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
Formal Methods and Tools: Introduction and Overview
Berghammer, R.; Lakhnech, Y.; Reif, Wolfgang; Berghammer, R.; Lakhnech, Y. (1999)
Teil eines Buches
Integrating Automated and Interactive Theorem Proving
Ahrendt, W. et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
Theorem Proving in Large Theories
Reif, Wolfgang; Schellhorn, Gerhard; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches