Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Boekstra.
Alexandre Rademaker - A Proof Theory for Description Logics
De vraag gaat over de volgende titel:
| Afbeelding: |
|
|---|---|
| Schrijver: | Alexandre Rademaker |
| Titel: | A Proof Theory for Description Logics |
| ISBN: | 9781447140016 |
| Uitgever: | Springer London Ltd |
| Bijzonderheid: | 2012 106pp Paperback / softback |
| Prijs: |
€ 72,20
Gratis
|
| Meer info | Annotatie Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly re Flaptekst Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). |
| Boek bekijken | |
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,95 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 2,95 euro per zending.
Minimale bestelafname van 10,- euro, exclusief verzending.
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.