Stel een vraag

Met het formulier hier onder kunt u contact op nemen met boekwinkel Boekstra.


 

Franz Baader - Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

De vraag gaat over de volgende titel:

Afbeelding: Franz Baader - Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Schrijver: Franz Baader
Titel: Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
ISBN: 9783540405597
Uitgever: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Bijzonderheid: 2003 512pp Paperback / softback
Prijs: € 71,90
Gratis
Meer info

Flaptekst

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions.

Boek bekijken

Boekstra uit Nijverdal

zakelijk

Logo Boekstra

Bij Boekstra koopt u nieuwe boeken tegen de vastgestelde boekenprijs.
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,90 euro GEEN verzendkosten binnen Nederland.
Verzendkosten Belgiƫ 3,95 euro per zending.
Bij bestellingen van 10 euro of minder zijn de verzendkosten hoger; zie vermelding bij het boek.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.

De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.