Cover Image
Read Now

1
Published 1996
Springer US
Table of Contents: “... oriented logic programming asa tool for enterprise modelling -- Two Transcript of Discussions and Panel...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...On the integration of CAST.FSM into the VLSI design process -- Using logic programming to test...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming -- State Space...”