Krysia Broda
3 published titles
ALPUK92 : proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992
(Contributor)
1 edition
- ISBN: 0387197834
- Springer-Verlag
- 1993
- Details
Neural-symbolic learning system : foundations and applications
(Contributor)
2 editions
- ISBN: 1852335122
- Springer
- 2002
- Details
- ISBN: 1852335122
- Springer
- 2002
- Details
Compiled labelled deductive systems : a uniform presentation of non-classical logics
(Contributor)
1 edition
- ISBN: 0863802966
- Research Studies Press
- 2004
- Details
