Description:
A class library providing object-oriented representations and algorithms for logic, mathematics and artificial intelligence. It comprises theorem proving, computer algebra, search and planning, as well as learning algorithms.
Hits:
30 |
Rating:
( 5.0 )
by 1 users
