Handbook of practical logic and automated reasoning

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

שנה

2009

שפה

English

הוצאה

Cambridge University Press

מהדורות

1

עמודים

681

ISBN

9780521899574

מקור הנתונים: Wikidata