EFFICIENCY OF THEOREM PROVING STRATEGIES: A COMPARATIVE AND ASYMPTOTIC ANALYSIS (COMPUTATIONAL INTELLIGENCE)
New
From
Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
AbeBooks Seller since 10 September 2024
This specific copy is no longer available. Here are our closest matches for EFFICIENCY OF THEOREM PROVING STRATEGIES: A COMPARATIVE AND ASYMPTOTIC ANALYSIS (COMPUTATIONAL INTELLIGENCE).
About this Item
Bibliographic Details
Title: EFFICIENCY OF THEOREM PROVING STRATEGIES: A ...
Condition: New