Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
2 859 kr
Skickas inom 10-15 vardagar
2 859 kr
Skickas inom 10-15 vardagar
2 859 kr
Skickas inom 10-15 vardagar
2 209 kr
Skickas inom 10-15 vardagar
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985
2 669 kr
Skickas inom 5-8 vardagar
1 079 kr
Skickas inom 10-15 vardagar
739 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
679 kr
Skickas inom 10-15 vardagar
679 kr
Skickas inom 5-8 vardagar
739 kr
Skickas inom 10-15 vardagar
809 kr
Skickas inom 10-15 vardagar
679 kr
Skickas inom 5-8 vardagar
609 kr
Skickas inom 5-8 vardagar
609 kr
Skickas inom 10-15 vardagar
749 kr
Skickas inom 5-8 vardagar
1 479 kr
Skickas inom 5-8 vardagar
739 kr
Skickas inom 10-15 vardagar
769 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
609 kr
Skickas inom 10-15 vardagar
1 479 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
769 kr
Skickas inom 10-15 vardagar
749 kr
Skickas inom 10-15 vardagar
749 kr
Skickas inom 10-15 vardagar
769 kr
Skickas inom 10-15 vardagar
749 kr
Skickas inom 10-15 vardagar
809 kr
Skickas inom 10-15 vardagar
2 869 kr
Skickas inom 10-15 vardagar
2 869 kr
Skickas inom 10-15 vardagar