@article{oai:ksu.repo.nii.ac.jp:00003674, author = {大村, 伸一 and OOMURA, Shinichi and 琴野, 実 and KOTONO, Minoru and 宮沢, 君江 and MIYAZAWA, Kimie and 謝, 章文 and SHA, Akifumi}, journal = {京都産業大学論集. 自然科学系列, ACTA HUMANISTICA ET SCIENTIFICA UNIVERSITATIS SANGIO KYOTIENSIS : NATURAL SCIENCE SERIES}, month = {Sep}, note = {23, KJ00000305315, P}, pages = {347--364}, title = {Logical Program SynthesisのImplementation (Pilot 1)について}, volume = {8}, year = {1978}, yomi = {オオムラ, シンイチ and コトノ, ミノル and ミヤザワ, キミエ and シャ, アキフミ} }