Publication:4409862
From MaRDI portal
zbMath1020.68777MaRDI QIDQ4409862
Manuel A. Nunez, Ismael Rodríguez, Fernando Rubio, Natalia López
Publication date: 1 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2443/24430071.htm
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
68U99: Computing methodologies and applications
68T99: Artificial intelligence
97U40: Problem books, competitions, examinations (aspects of mathematics education)
Uses Software