Search results
- Relational methods for computer science applications / editors Ewa Orłowska, Andrzej Szałas. Heidelberg ; New York : Physica-Verlag, 2001 . xiii, 297 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- Second-order quantifier elimination : foundations, computational aspects and applications / Dov M. Gabbay, Renate A. Schmidt and Andrzej Szałas. London : College Publications : [2008] ©2008 . viii, 308 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book