Kaufmann, Matt
Computer-aided reasoning : an approach
- Boston: Kluwer Academic Publishers, 2000
- xv, 270 p.; : 24 cm.
- Adances in formal methods .
0792377443 hbk
Expert systems
Electronic data processing
Formal methods
Sotware engineering
Reasoning
Gaming
Theorem
004.0151 / KAU