Product Description: Description Logics are knowledge representation languages that have been studied extensively in artificial intelligence over the last two decades. This Handbook covers all aspects of research in this field; including theory, implementation, and applications...read more

Product Description: 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...read more

Product Description: Description Logics are knowledge representation languages that have been studied extensively in artificial intelligence over the last two decades. This Handbook covers all aspects of research in this field; including theory, implementation, and applications...read more (view table of contents, read Amazon.com's description)

(view table of contents)

(view table of contents)

Product Description: - Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement. - In more developed regions, there are a high number of organs which are not utilized...read more (view table of contents, read Amazon.com's description)