1. Automated Reasoning with Analytic Tableaux and Related Methods
Author: \ Hans De Nivelle (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
Classification :
QA
76
.
9
.
A96
2015
E-Book
,
