Gå direkt till innehållet
Computer Program Synthesis Methodologies
Spara

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.
Undertitel
Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981
Upplaga
Softcover reprint of the original 1st ed. 1983
ISBN
9789400970212
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-12-08
Förlag
Springer
Sidor
374