A General Framework for Reasoning On Inconsistency /
Salvato in:
| Altri autori: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Nueva York, EUA :
Springer,
2013, c2013
|
| Serie: | (Springer Briefs in Computer Science)
|
| Soggetti: | |
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: 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 /