Andrzej Szałas
2 published titles
Time and logic : a computational approach
(Contributor)
1 edition
- ISBN: 1857282337
- UCL Press
- 1995
- Details
Second-order quantifier elimination : foundations, computational aspects and applications
(Contributor)
1 edition
- ISBN: 9781904987567
- College Pub.
- 2008
- Details
