On three hierarchies of weak SKS formulas.
Saved in:
| Personal Name(s): | Skurczynski, J. |
|---|---|
| Imprint: |
Aachen :
Technische Hochschule Aachen,
1990.
|
| Physical Description: |
14 S. |
| Note: |
englisch |
| Series Title: |
Aachener Informatik-Berichte ;
Vol 90-0003. |
| Classification: |
| JSC | |
|---|---|
Institute  Call Number: S 006513-90-0003'01' Barcode: 1090102700
Available
|
|