| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Knowledge Representation Techniques: A Rough Set Approach | Taschenbuch | 978-3-642-07012-9 | 2010 | Patrick Doherty · Witold Lukaszewicz | |
| Knowledge Representation Techniques: A Rough Set Approach | Gebunden | 978-3-540-33518-4 | 2006 | Patrick Doherty · Witold Lukaszewicz | |
| Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings | Taschenbuch | 978-3-540-61550-7 | 2008 | Wojciech Penczek | |
| Relational Methods for Computer Science Applications (Studies in Fuzziness and Soft Computing Vol. 65) | Gebunden | 978-3-7908-1365-4 | 2001 | Ewa Orlowska | |
| Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications | Paperback | 978-1-904987-56-7 | 2008 | Dov Gabbay · Renate A. Schmidt | |
| Time & Logic: A Computational Approach | Hardcover | 978-0-367-33653-0 | 2019 | Leonard Bolc |
College Publications · Physica-Verlag Heidelberg · Routledge · Springer