1. Automated technology for verification and analysis :
Author: Dang Van Hung, Mizuhito Ogawa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2013
