Inhaltsangabe
1. Introduction.- 2. Preliminaries.- 3. Resolution-Based Methods.- 4. Constraint-Based Methods.- 5. Model Representation and Evaluation.- 6. Finite Model Building.- 7. Conclusion.- Notation Index.- References.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
