Hubauer, Thomas
Relaxed Abduction
Table of contents
1. Introduction
Thomas Hubauer
2. Preliminaries
Thomas Hubauer
3. Relaxed Abduction
Thomas Hubauer
4. Case Studies and Evaluation
Thomas Hubauer
5. Conclusion
Thomas Hubauer
Keywords: Computer Science, Mathematics of Computing, Computing Methodologies, Appl.Mathematics/Computational Methods of Engineering
- Author(s)
- Hubauer, Thomas
- Publisher
- Springer
- Publication year
- 2016
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783658144074
- Printed ISBN
- 978-3-658-14406-7