Broda, Krysia books & textbook
Neural-Symbolic Learning Systems
Artur S. D'Avila Garcez Krysia B. Broda Dov M. Gabbay
Springer /2002-08-06 Paperback / 280 Pages
isbn-10: 1852335122 / isbn-13: 9781852335120
ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992 (Workshops in Computing)
Springer /1992-12-21 Paperback / 365 Pages
isbn-10: 3540197834 / isbn-13: 9783540197836
Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (STUDIES IN LOGIC AND COMPUTATION)
Gabbay, Dov M. Lamb, Luis C. Russo, Alessandra Broda, Krysia
Research Studies Pr Ltd /2004-09-01 Hardcover / 343 Pages
isbn-10: 0863802966 / isbn-13: 9780863802966
Reasoned Programming (Prentice-Hall International Series in Computer Science)
Eisenbach, Susan Khoshnevisan, Hessam Vickers, Steve Broda, Krysia
Prentice Hall Direct /1994T Paperback / 296 Pages
isbn-10: 0130988316 / isbn-13: 9780130988317
