Profiler

Profiler

Min profil Mitt bibliotek

Lawrence Paulson

University of Cambridge

Verifisert e-postadresse på cam.ac.uk

Sitert av 22029

automated theorem proving formalisation of mathematics computer security

Boris Motik

Professor of Computer Science, Oxford University

Verifisert e-postadresse på cs.ox.ac.uk

Sitert av 18354

Semantic Web Artificial Intelligence Knowledge Representation Automated Theorem Proving

Geoff Sutcliffe

Department of Computer Science, University of Miami

Verifisert e-postadresse på cs.miami.edu

Sitert av 5912

Automated Theorem Proving

Andrew Reynolds

University of Iowa, Amazon Web Services

Verifisert e-postadresse på uiowa.edu

Sitert av 5396

Satisfiability Modulo Theories Automated Reasoning Automated Theorem Proving

Warren A. Hunt, Jr

Professor of Computer Science, University of Texas

Verifisert e-postadresse på cs.utexas.edu

Sitert av 3736

Hardware and Software Verification Automated Theorem Proving SAT Computational Biology

Ullrich Hustadt

Reader, Department of Computer Science, University of Liverpool

Verifisert e-postadresse på liverpool.ac.uk

Sitert av 3698

Verification Automated Theorem Proving Modal Logics Temporal Logics

Assaf Kfoury

Professor of Computer Science, Boston University

Verifisert e-postadresse på bu.edu

Sitert av 2647

mathematical logic in computer science type systems automated theorem proving interactive proof assistants foundations for p

Sean B Holden

University Associate Professor

Verifisert e-postadresse på cl.cam.ac.uk

Sitert av 2351

Machine Learning Automated Theorem Proving Proteomics

Martin Suda

Czech Technical University in Prague

Verifisert e-postadresse på cvut.cz

Sitert av 1851

Automated theorem proving Machine Learning Automated Planning Boolean Satisfiability

Tjark Weber

Uppsala University

Verifisert e-postadresse på it.uu.se

Sitert av 1810

Interactive Theorem Proving Automated Theorem Proving Formal Verification Concurrency Computational Logic

1 - 10