East Asian mathematical journal

The Youngnam Mathematical Society (영남수학회)
권호 표지

THE EXTENDED SEMATICS FOR LOGIC PROGRAMMING IN THE HIGHER ORDER CALCULUS

  • Yi, Hyang-Il (Department of Applied Mathematics National Fisheries University of Pusan)
  • Published : 1991.08.30
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords