Neves,, José A logic interpreter to handle time and negation in logic data bases / José Carlos Ferreira Maia Neves

A logic interpreter to handle time and negation in logic data bases / José Carlos Ferreira Maia Neves
681.3