Ausgabe 4/2006
Empirically Successful Automated Reasoning: Systems Issue
Inhalt (5 Artikel)
Empirically Successful Automated Reasoning: Systems Issue
Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
Answer Set Programming Based on Propositional Satisfiability
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
An Integrated Approach to High Integrity Software Verification
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes