First Page | Document Content | |
---|---|---|
![]() Date: 2006-07-10 06:07:20Automated theorem proving Mathematics Theoretical computer science Search algorithms Heuristics Rippling Logic IsaPlanner Formal languages Logic in computer science A* search algorithm Mathematical proof | Add to Reading List |