1. Automated technology for verification and analysis
Author: Zhiming Liu, Anders P. Ravn (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
2009
