Automated Deduction in Nonstandard Logics
Work detail
Bookitis PickAD
Automated Deduction in Nonstandard Logics
Peter JacksonRich ScherlPeter E. Jackson1 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
3 credited authorsSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
Peter Jackson
- Open Author
Rich Scherl
- Open Author
Peter E. Jackson
Editions
Publication-specific versions linked to this work only.