![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 - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications](https://bilder.buecher.de/produkte/32/32094/32094739m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st edition 1998
9. Dezember 2010
Springer Netherlands
![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 - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications](https://bilder.buecher.de/produkte/32/32094/32094080m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st edition 1998
6. Dezember 2010
Springer / Springer Netherlands
978-90-481-5051-9
eBook, PDF | 161,95 € |
![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 - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications](https://bilder.buecher.de/produkte/22/22099/22099444m.jpg)
Gebundenes Buch
1998.
30. Juni 1998
Springer / Springer Netherlands
978-0-7923-5130-6
![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 - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications](https://bilder.buecher.de/produkte/21/21652/21652608m.jpg)
Gebundenes Buch
1998.
30. Juni 1998
Springer / Springer Netherlands
978-0-7923-5131-3
![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 - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications](https://bilder.buecher.de/produkte/21/21520/21520949m.jpg)
Gebundenes Buch
1998.
30. Juni 1998
Springer Netherlands
11285366.
![Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (eBook, PDF) Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (eBook, PDF)](https://bilder.buecher.de/produkte/44/44183/44183451m.jpg)
![Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (eBook, PDF) Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (eBook, PDF)](https://bilder.buecher.de/produkte/44/44183/44183440m.jpg)
![Controlling im E-Business Controlling im E-Business](https://bilder.buecher.de/produkte/27/27678/27678729m.jpg)
Ähnlichkeitssuche: Fact®Finder von OMIKRON