TIKEKAR, V G, Indian Institute of Science, Bangalore, India
-
Vol 61, No 5 (1979): (May - 1979) Section A : Engineering and Technology - Original Papers - Computer Science
Development of a structured program for conversion to prenex normal form
Abstract PDF
ISSN: 0970-4140