OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Donald W. Loveland

 Home Mathematics Mathematicians Mathematicians by field Computer scientists Fellows of the Association for Computing Machinery
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Donald W. Loveland is an American mathematician known for his contributions to mathematical logic and computer science. He is particularly recognized for his work in the areas of satisfiability, automated theorem proving, and logic programming. Loveland is also known for co-authoring the book "Computational Logic: A Logical Approach to Reasoning," among other publications. His research has influenced the development of algorithms and methods used in artificial intelligence and formal verification.

 Ancestors (6)

  1. Fellows of the Association for Computing Machinery
  2. Computer scientists
  3. Mathematicians by field
  4. Mathematicians
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook