Preliminary study on program synthesis based on induction and verification
| Authored By: | K. Furukawa |
| Paper Title: | Preliminary study on program synthesis based on induction and verification |
| Book/Journal Title: | Proc. 2nd Int. Workshop on Algorithmic Learning Theory |
| Publisher: | IOS Press |
| Publication Date: | 1992 |
| Pages: | 299-306 |