On three hierarchies of weak SKS formulas.

Saved in:
Skurczynski, J.
Aachen : Technische Hochschule Aachen, 1990.
14 S.
englisch
Aachener Informatik-Berichte ; Vol 90-0003.

JSC
Institute Call Number: S 006513-90-0003'01' Barcode: 1090102700 Available