A General Framework for Reasoning On Inconsistency /
Guardado en:
| Otros autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Nueva York, EUA :
Springer,
2013, c2013
|
| Colección: | (Springer Briefs in Computer Science)
|
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: 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 /
- 25 Years of Model Checking : History, Achievements, Perspectives /
- Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28–30, 2013 : Revised Selected Papers /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /