Lawrence Paulson

Lawrence Paulson

University of Cambridge
在 cam.ac.uk 的电子邮件经过验证
被引用次数：21310
automated theorem proving formalisation of mathematics computer security
Boris Motik

Boris Motik

Professor of Computer Science, Oxford University
在 cs.ox.ac.uk 的电子邮件经过验证
被引用次数：17664
Semantic Web Artificial Intelligence Knowledge Representation Automated Theorem Proving
Geoff Sutcliffe

Geoff Sutcliffe

Department of Computer Science, University of Miami
在 cs.miami.edu 的电子邮件经过验证
被引用次数：5732
Automated Theorem Proving
Andrew Reynolds

Andrew Reynolds

University of Iowa, Amazon Web Services
在 uiowa.edu 的电子邮件经过验证
被引用次数：4916
Satisfiability Modulo Theories Automated Reasoning Automated Theorem Proving
Ullrich Hustadt

Ullrich Hustadt

Reader, Department of Computer Science, University of Liverpool
在 liverpool.ac.uk 的电子邮件经过验证
被引用次数：3678
Verification Automated Theorem Proving Modal Logics Temporal Logics
Warren A. Hunt, Jr

Warren A. Hunt, Jr

Professor of Computer Science, University of Texas
在 cs.utexas.edu 的电子邮件经过验证
被引用次数：3613
Hardware and Software Verification Automated Theorem Proving SAT Computational Biology
Assaf Kfoury

Assaf Kfoury

Professor of Computer Science, Boston University
在 bu.edu 的电子邮件经过验证
被引用次数：2607
mathematical logic in computer science type systems automated theorem proving interactive proof assistants foundations for p
Sean B Holden

Sean B Holden

University Associate Professor
在 cl.cam.ac.uk 的电子邮件经过验证
被引用次数：2266
Machine Learning Automated Theorem Proving Proteomics
Tjark Weber

Tjark Weber

Uppsala University
在 it.uu.se 的电子邮件经过验证
被引用次数：1731
Interactive Theorem Proving Automated Theorem Proving Formal Verification Concurrency Computational Logic
Martin Suda

Martin Suda

Czech Technical University in Prague
在 cvut.cz 的电子邮件经过验证
被引用次数：1613
Automated theorem proving Machine Learning Automated Planning Boolean Satisfiability
1 - 10