panda
Computer-aided reasoning
Programming - Software Development
Computers - General Information
Expert systems (Computer science)
Mathematics, general
Computer-aided design
Computer Books: General
Software engineering
Computer science
Computers
General
"Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on Software Engineering or Formal Methods. It is also suitable in conjunction with other books in courses on hardware design, discrete ma…
Read online
Reader not loading? Open it on Archive.org instead.
