Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Y | Author/Editor | Title | ||||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
2 |
| ||||||||
16 |
| ||||||||
43 |
| ||||||||
41 |
| ||||||||
37 |
| ||||||||
36 |
| ||||||||
39 |
| ||||||||
58 |
| ||||||||
48 |
| ||||||||
4 |
|
| |||||||
Iturrioz, Luisa Sofronie-Stokkermans, Viorica | SHn-algebras (Symmetric Heyting algebras of order n) In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11 | ||||||||
Schmidt, Renate A. | Relational Grammars for Knowledge Representation In: Variable-Free Semantics, 162-180 | ||||||||
Sofronie-Stokkermans, Viorica | Some properties of Kleene algebras In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7 | ||||||||
Wu, Jinzhao | First-Order Polynomial based Theorem Proving In: Mathematics Mechanizations and Applications, 273-294 | ||||||||
1 |
|
| |||||||
19 |
|
| |||||||
1 |
|
| |||||||
20 |
|
| |||||||
1 |
|
| |||||||
1 |
|
| |||||||
1 |
|
| |||||||
61 |
| ||||||||
73 |
| ||||||||
42 |
| ||||||||
64 |
| ||||||||
55 |
| ||||||||
64 |
| ||||||||
47 |
| ||||||||
26 |
|