الوصف
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