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