Compartir
theorem proving with analytic tableaux and related methods (en Inglés)
$ 304.835
$ 508.059
Ahorras: $ 203.224
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 15 de Julio y el
Miércoles 24 de Julio.
Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.
Reseña del libro "theorem proving with analytic tableaux and related methods (en Inglés)"
this volume constitutes the proceedings of the 4th international workshop on theorem proving with analytic tableaux and related methods, tableau 95, held at schloß rheinfels, st. goar, germany in may 1995.originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. the 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. the book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
✓ Producto agregado correctamente al carro, Ir a Pagar.