East Asian mathematical journal
- 제7권1호
- /
- Pages.37-43
- /
- 1991
- /
- 1226-6973(pISSN)
- /
- 2287-2833(eISSN)
THE EXTENDED SEMATICS FOR LOGIC PROGRAMMING IN THE HIGHER ORDER CALCULUS
- Yi, Hyang-Il (Department of Applied Mathematics National Fisheries University of Pusan)
- 발행 : 1991.08.30