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, 1-904-98-756-7. link: http://www.amazon.com/Second-Order-Quant... |
|
| 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, 3-540-33518-8. DOI: 10.1007/3-540-33519-6. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9... |
|
| 1998 | ||
| [4] |
.
1998. Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 159 pages. ISBN: 83-7101-403-1, 978-83-7101-403-1. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=83-7101... |
|
| 1995 | ||
| [3] |
.
1995. Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 247 pages. ISBN: 9788371012884. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=9788371... |
|
| 1992 | ||
| [2] |
.
1992. Zarys dedukcyjnych metod automatycznego wnioskowania. Book.
Academic Pub. RM (Akademicka Oficyna Wydawnicza RM). 120 pages. ISBN: 83-9004-517-6, 978-83-9004-517-7. |
|
| 1991 | ||
| [1] |
.
1991. Loglan. Book.
Wydawnictwa Naukowo-Techniczne WNT. 172 pages. ISBN: 83-2041-295-1, 978-83-2041-295-6. Note: In Polish; Volume 78, Biblioteka Inżynierii Oprogramowania Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=83-2041... |
|
