Automated Practical Reasoning
Subtitle: Algebraic Approaches (Texts and Monographs in Symbolic Computation)
Contributors: J. Cunningham (Foreword); Jochen Pfalzgraf (Editor); Dongming Wang (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 1, 2001
Language: eng
Format: Paperback
Number of pages: 223
ISBN-13: 9783211826003
Subjects: Algebraic geometry; Artificial intelligence; Computer architecture & logic design; Mathematical theory of computation; Computer Science; Computers - Languages / Programming; Programming - Systems Analysis & Design; Logic; Computers / Programming / Systems Analysis & Design; Reasoning; Computer Bks - Languages / Programming