Cargando…
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Lecture Notes in Artificial Intelligence,
3702 |
| Temas: | |
| Acceso en línea: | Texto Completo |