Filters
Advanced Search Browse by Genre

Found 2 results for "Michal Zawidzki"

Deductive Systems and the Decidability Problem for Hybrid Logics
Deductive Systems and the Decidability Problem for Hybrid Lo...

by Michal Zawidzki

2014 1 ed.
Logic, symbolic and mathe... Deductive databases
Ewa Orłowska on Relational Methods in Logic and Computer Science
Ewa Orłowska on Relational Methods in Logic and Computer Sci...

by Joanna Golińska-Pilarek, Michał Zawidzki

2018 1 ed.
Computer science