Search result
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
18.10.2010
Paperback / Softback
Fr. 236.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
18.10.2010
Paperback / Softback
Fr. 188.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
18.10.2010
Paperback / Softback
Fr. 236.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
06.12.2012
Hardback
Fr. 238.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
29.01.2013
Hardback
Fr. 236.00