Application of constraints to formal verification and artificial intelligence
Velev, Miroslav N., Franco, JohnVolume:
70
Language:
english
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/s10472-014-9412-z
Date:
April, 2014
File:
PDF, 95 KB
english, 2014