Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” 8th International Conference on Automated Deduction, 1986, doi:10.1007/3-540-16780-3_119.
LibreCat
| DOI