Proof Theory and Automated Deduction - Prijzen

The last twenty years have witnessed an accelerated development of pure and ap plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from the computer science community. A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they de...

De Proof Theory and Automated Deduction 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.

Productspecificaties

Waar te koop

Proof Theory and Automated Deduction is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.

Proof Theory and Automated Deduction
meer afbeeldingen
  • EAN9781402003684
38.470.634producten
137.380merken
918winkels