Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Journal Full Title / ISSN | Year | Author/Editor | Title | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
| ||||||||
| ||||||||
Applicable Algebra in Engineering, Communication and Computing (AAECC) 0938-1287 | 1994 | Bachmair, Leo Ganzinger, Harald Waldmann, Uwe | Refutational Theorem Proving for Hierarchic First-Order Theories In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212 | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|