A General Framework for Reasoning On Inconsistency /
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Nueva York, EUA :
Springer,
2013, c2013
|
| Edice: | (Springer Briefs in Computer Science)
|
| Témata: | |
| On-line přístup: | Ver documento en línea |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky: 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 /