K | |
---|---|
[Kur02] | Agi Kurucz.
S5 × S5 × S5 lacks the finite model
property.
In AIML'00,
pages 321-327.
World Scientific, 2002.
|
Search
Displayed 1 resultList of authors
- 1
K | |
---|---|
[Kur02] | Agi Kurucz.
S5 × S5 × S5 lacks the finite model
property.
In AIML'00,
pages 321-327.
World Scientific, 2002.
|