Skip to content

An Order Hyperresolution Calculus for Gdel Logic - General First-order Case.

Dusan Guller

VenueCIJCCI
Year2012
ProceedingsIJCCI

Browse the full IJCCI paper archive.