Dieter Hutter

Dieter Hutter

German Research Center for Artificial Intelligence
E-mail confirmado em dfki.de
Citado por 2009
Formal Methods Security Change Management Deduction
Neil V. Murray

Neil V. Murray

Department of Computer Science, Univ. at Albany - SUNY
E-mail confirmado em cs.albany.edu
Citado por 1183
deduction theorem proving logic prime implicates artificial intelligence