Computer-Aided Reasoning: An Approach (Advances in Formal Methods)

Книги на иностранных языках → На английском → Компьютеры и ИТ → Искуственный интеллект → Разное
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Автор
 
Год
 
Страниц
 
0
ISBN
 
0792377443
Издатель
 
Категория
 
Разное

Описание:

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 mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support. It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry.

Похожие книги

Breast Cancer Characterization. Computer-Aided Diagnostic System for Breast MRI Mass ClassificationBreast Cancer Characterization. Computer-Aided Diagnostic System for Breast MRI Mass Classification
Год: 2011
Handbook of Computer Aided Geometric DesignHandbook of Computer Aided Geometric Design
Автор: Farin G.E., Hoschek J., Kim M.-S.
Год: 2002
Computer-aided designComputer-aided design
Год: 2011
Computer-aided Software EngineeringComputer-aided Software Engineering
Год: 2011
Theory of Weldability of Metals and Alloys (Materials Science Monographs)Theory of Weldability of Metals and Alloys (Materials Science Monographs)
Автор: I. Hrivnák
Год: 1991
Computer-Aided Econometrics (STATISTICS, A SERIES OF TEXTBOOKS AND MONOGRAPHS)Computer-Aided Econometrics (STATISTICS, A SERIES OF TEXTBOOKS AND MONOGRAPHS)
Автор: David E. A. Giles
Год: 2001