Skip to content

An Order Hyperresolution Calculus for Gdel Logic with Truth Constants.

Dusan Guller

VenueCIJCCI
Year2014
ProceedingsIJCCI (FCTA)

Browse the full IJCCI paper archive.