Avancerad sökning
Hittade 1 avhandling som matchar ovanstående sökkriterier.
1. Reasoning with Bounded Cognitive Resources
Sammanfattning : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. LÄS MER
Resultatsidor:
1