A General Framework for Reasoning On Inconsistency /
Guardado en:
| Andre forfattere: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Nueva York, EUA :
Springer,
2013, c2013
|
| Serier: | (Springer Briefs in Computer Science)
|
| Fag: | |
| Online adgang: | Ver documento en línea |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: A General Framework for Reasoning On Inconsistency /
- The limits of mathematics : a course on information theory and the limits of formal reasoning /
- Practical Discrete Mathematics /
- Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
- Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28–30, 2013 : Revised Selected Papers /
- 25 Years of Model Checking : History, Achievements, Perspectives /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /