Author books / Книги автора W. Reif G. Schellhorn K. Stenzel M. Balser (auth.) Wolfgang Bibel Peter H. Schmitt (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора W. Reif G. Schellhorn K. Stenzel M. Balser (auth.) Wolfgang Bibel Peter H. Schmitt (eds.)

book Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

djvu

Author: W. Reif G. Schellhorn K. Stenzel M. Balser (auth.) Wolfgang Bibel Peter H. Schmitt (eds.)
Language: English
Year: 1998

00

27.01.2024

1

0

book Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

pdf

Author: W. Reif G. Schellhorn K. Stenzel M. Balser (auth.) Wolfgang Bibel Peter H. Schmitt (eds.)
Language: English
Year: 1998

00

27.01.2024

2

0