Heurist.org | Author: Wolfgang Bibel

Heurist.org

Search

Advanced Search

- Guest

Uploading...

Please do not refresh the page.

Author: Wolfgang Bibel

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - a Basis for Applications Volume I Foundations ...

Wolfgang Bibel & P. H. Schmitt

Book Details

...