11 search results - page 3 / 3 » ershov 2001 |
ERSHOV
2001
Springer
13 years 10 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...