TIKEKAR, V G, Indian Institute of Science, Bangalore,, India
-
Vol 62, No 3 (1980): (March 1980) Section A : Engineering and Technology - Original Papers - Computer Science
A computational algorithm for the verification of tautologies in propositional calculus
Abstract PDF
ISSN: 0970-4140