Filteren
Sorteren
4 resultaten
paperbackEngels9783540260943
30-5-2005
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. Meer
paperbackEngels9783030778811
22-11-2022
This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Meer
gebondenEngels9783030778781
21-11-2021
This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Meer