Computer-aided reasoning : an approach
Kaufmann, Matt
Computer-aided reasoning : an approach Advances in formal methods - Netherland kluwer Academic 2000 - 270
9780792377443
Software engineering,Expert systems (Computer science),Formal methods (Computer science)
004.0151 / KAU
Computer-aided reasoning : an approach Advances in formal methods - Netherland kluwer Academic 2000 - 270
9780792377443
Software engineering,Expert systems (Computer science),Formal methods (Computer science)
004.0151 / KAU