Hoppa till sidans huvudinnehåll

P. H. Schmitt - Böcker

Visar alla böcker från författaren P. H. Schmitt.
6 produkter

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Av Wolfgang Bibel, P.H. Schmitt m. fl

Inbunden, Engelska, 1998

2 719 kr

Skickas inom 10-15 vardagar

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Av Wolfgang Bibel, P.H. Schmitt m. fl

Inbunden, Engelska, 1998

2 719 kr

Skickas inom 10-15 vardagar

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Av Wolfgang Bibel, P.H. Schmitt m. fl

Inbunden, Engelska, 1998

2 039 kr

Skickas inom 10-15 vardagar

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Av Wolfgang Bibel, P.H. Schmitt m. fl

Häftad, Engelska, 2010

2 719 kr

Skickas inom 10-15 vardagar

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Av Wolfgang Bibel, P.H. Schmitt m. fl

Häftad, Engelska, 2010

2 719 kr

Skickas inom 10-15 vardagar

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Av Wolfgang Bibel, P.H. Schmitt m. fl

Häftad, Engelska, 2010

2 039 kr

Skickas inom 10-15 vardagar