The book is currently out of stock
A connectionist approach for learning search control heuristics for automated deduction systems
Authors
Book variant
1999Book purchase
The book is currently out of stock.
1999We have over a million books in stock
1999