설명
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
책 세부 정보
형식
킨들
페이지
427 페이지
언어
영어
출판됨
Jun 29, 2013
출판사
Springer
판본
4 editions
ISBN-10
1475734522
ISBN-13
9781475734522