Search alternatives:
search » research
engines » engineers, engineer
Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Polymorphically Typed Logic Programs Using ACI-Unification -- Experimental Papers -- Model Generation with Boolean...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set Comprehensions...”
Cover Image
Read Now

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Labelled Unit Superposition Calculi for Instantiation-Based Reasoning -- Boosting Local Search...”
Cover Image
Read Now

6
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...On Module-Based Abstraction and Repair of Behavioral Programs -- Predictionand Explanation over DL...”
Cover Image
Read Now

7
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... of Model Programs -- Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture...”