Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Synopsis

Derechos de autor:
2017 Springer

Book Details

Book Quality:
ISBN-13:
9783319669021
Publisher:
Springer International Publishing, Cham
Date of Addition:
Idioma:
English
Categorías:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy,
Usage Restrictions:
This is a copyrighted book.