Books
| Show abstracts (where available) BibTeX entries | ||
| 2008 | ||
| [6] |
.
2008. Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Book.
In series: Studies in Logics #12. College Publications. 308 pages. ISBN: 978-1-904987-56-7. |
|
| 2006 | ||
| [5] |
.
2006. Knowledge Representation Techniques. A Rough Set Approach. Book.
In series: Studies in Fuzziness and Soft Computing #202. Springer. 342 pages. ISBN: 978-3-540-33518-4. DOI: 10.1007/3-540-33519-6. |
|
| 1998 | ||
| [4] |
.
1998. Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 159 pages. ISBN: 978-83-7101-403-1. |
|
| 1995 | ||
| [3] |
.
1995. Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 247 pages. ISBN: 9788371012884. |
|
| 1992 | ||
| [2] |
.
1992. Zarys dedukcyjnych metod automatycznego wnioskowania. Book.
Academic Pub. RM (Akademicka Oficyna Wydawnicza RM). 120 pages. ISBN: 978-83-9004-517-7. |
|
| 1991 | ||
| [1] |
.
1991. Loglan. Book.
Wydawnictwa Naukowo-Techniczne WNT. 172 pages. ISBN: 978-83-2041-295-6. Note: In Polish; Volume 78, Biblioteka Inżynierii Oprogramowania |
|
