An edition of Automated deduction (1899)
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)
By W. Bibel,Peter H. Schmitt
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
June 30, 1998
Publisher
Springer
Language
eng
Pages
474