Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Functional programming (Computer science). --- Lambda calculus. --- Functional programming (Computer science) --- Lambda calculus --- Programmation fonctionnelle (informatique) --- Lambda-calcul --- Lambda-calcul.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This collection of essays from key practitioners examines the key achievements and likely developments in the area of automated reasoning. It starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written Alan Bundy. This is followed by essays from leading researchers associated with the group on related topics such as argumentation, computational creativity, secure software, and trustworthy software, encompassing theory, tools, applications and pedagogy.

Mathematics --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- informatica --- wiskunde --- KI (kunstmatige intelligentie) --- Logic, Symbolic and mathematical. --- Computer logic. --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Economic schools