Middle-Out Reasoning for Synthesis and Induction

Authors
I.Kraan,D.Basin,A.Bundy
Citation
I.kraan,d.basin,a.bundy, Middle-Out Reasoning for Synthesis and Induction, Journal of automated reasoning , 16(1;2), 1996, pp. 113-145
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
16
Issue
1;2
Year of publication
1996
Pages
113 - 145
Database
ACNP
SICI code