Name: Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015, (en Inglés)
Price: 43.99 USD
Availability: InStock
Author: De Nivelle, Hans
ISBN: 9783319243115

portada Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015, (en Inglés)

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015, (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

De Nivelle, Hans

Idioma

Inglés

N° páginas

355

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.0 cm

Peso

0.52 kg.

ISBN13

9783319243115

Categorías

Lógica matemática
Programación informática/desarrollo de software
Inteligencia artificial

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015, (en Inglés)

De Nivelle, Hans (Autor) · Springer · Tapa Blanda

Libro Nuevo Origen: Estados Unidos

Envío: 7 a 9 días háb.

$ 54.99$ 43.99

-20%

Libro Nuevo

Quedan más de 100 unidades

$ 43.99

Llega entre el 29 Jul y el 04 Ago a FL. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015, (en Inglés)"

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.