Pre Feria Quito con hasta 60% OFF  Ver más

Enviar a
Quito, Pichincha
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada automated reasoning with analytic tableaux and related methods (en Inglés)
automated reasoning with analytic tableaux and related methods (en Inglés)automated reasoning with analytic tableaux and related methods (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
373
ISBN
3540629203
ISBN13
9783540629207
Categorías

automated reasoning with analytic tableaux and related methods (en Inglés)

Libro Nuevo Importado
Envío: 19 a 26 días háb.
$ 107.13$ 58.92
-45%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 58.92
Llega entre el 23 Oct y el 09 Nov a Quito, Pichincha. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "automated reasoning with analytic tableaux and related methods (en Inglés)"

this book constitutes the refereed proceedings of the international conference on analytic tableaux and related methods, tableaux97, held in pont-a-mousson, france, in may 1997.the volume presents 22 revised full papers selected from a total of 49 submissions. also included are two invited papers and two system descriptions. the volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes