Bol 142,- 142,- Bekijk 
Amazon.nl Bekijk prijs This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel...
De Automated Deduction - CADE-11 is een populaire optie voor Wiskundige logica. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Automated Deduction - CADE-11 is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
