Automated Deduction - CADE-21 niet bekend 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

This book constitutes the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full
Voorraad:
Nieuw
Verkrijgbaar in
Webshop
Prijs:
€ 100,95
Voorraad:
Levertijd:

Afwijkende levertijd: 5 tot 7 Dagen.

Winkelvoorraad

Het kan zijn dat er op dit moment een verkoop plaatsvindt, waardoor de actuele voorraad afwijkt. Hier kunnen geen rechten aan worden ontleend.

Reserveren

Nieuwe boeken en ramsj kunt u reserveren wanneer deze op voorraad zijn. U kunt uw reservering in de winkel ophalen. De betaalwijze kunt u aangeven bij stap 3 'Betaalwijze'

.
MINDBUSZEUS2 : broekhuis