Björn Bjurling

Automatiserad härledning är området som studerar algoritmer och mjukvara som möjliggör för datorer att föra logiska resonemang, för att utvinna ny kunskap från redan inhämtad kunskap. Nyttan med automatisk härledning är att vi kan…