Filteren
Sorteren
5 resultaten
paperbackEngels9783540734475
21-6-2007
The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. Meer
paperbackEngels9783540405597
16-7-2003
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. Meer
paperbackEngels260 blz.9780521695428
7-4-2017
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. Meer
paperbackNederlands96 blz.9789402153996
26-10-2016
In “Het kan dus wel!” wordt, grotendeels gebaseerd op de praktijkervaring van de auteurs, aangegeven hoe de effectiviteit van ICT inspanningen en investeringen verhoogd kan worden door betere alignment met de “business”. Meer