Gå direkte til innholdet
Computer Program Synthesis Methodologies
Spar

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.
Undertittel
Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981
Opplag
Softcover reprint of the original 1st ed. 1983
ISBN
9789400970212
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
8.12.2011
Forlag
Springer
Antall sider
374