Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | Type | |||||||
---|---|---|---|---|---|---|---|---|---|
|
| ||||||||
1998 | Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), ?-? | Proceedings Article | |||||||
|
| ||||||||
|
| ||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
|