scientific article; zbMATH DE number 2040721

zbMATH Open1038.68700MaRDI QIDQ4449804FDOQ4449804

Authors: Peter Galos, Peter Nordin, Joel Olsén, Kristofer Sundén Ringnér 

Publication date: 11 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2724/27241806.htm

Title of this publication is not available (Why is that?)

Recommendations

• Automatic programming: A tutorial on formal methodologies
• On automated program construction and verification
• scientific article; zbMATH DE number 3963167
• An approach to automatic deductive synthesis of functional programs
• scientific article; zbMATH DE number 1974019
• scientific article; zbMATH DE number 108494
• Automated Complexity Analysis Based on Context-Sensitive Rewriting

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (1)

• Autonomous theory building systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449804)