Tallenna
Computer Program Synthesis Methodologies
The theorem proving system finds a way to combine the axioms to prove the theorem, and in the process, it completes the desired calculation.
- Alaotsikko
- Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981
- Toimittaja
- A.W. Biermann, G. Guiho
- Painos
- Softcover reprint of the original 1st ed. 1983
- ISBN
- 9789400970212
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.12.2011
- Kustantaja
- Springer
- Sivumäärä
- 374
