Jump to main content

yr 〜
yr

Search results 4

Compiled labelled deductive systems : a uniform presentation of non-classical logics

Compiled labelled deductive systems : a uniform presentation of non-classical logics
Paper図書
Krysia Broda ... [et al.]Research Studies Pressc2004
Other Libraries in Japan
  • Author HeadingBroda, Krysia

Neural-symbolic learning systems : foundations and applications

Neural-symbolic learning systems : foundations and applications
Paper図書
Artur S. d'Avila Garcez, Krysia B. Broda and Dov M. GabbaySpringerc2002
Other Libraries in Japan
  • Author HeadingD'Avila Garcez, Artur S. Broda, Krysia Gabbay, Dov M.

Reasoned programming

Reasoned programming
Paper図書
K. Broda ... [et al.]Prentice Hall1994
Other Libraries in Japan
  • Author HeadingBroda, Krysia

ALPUK 92 : proceedings of the 4th UK Conference on Logic Programming, London, 30 March-1 April 1992

ALPUK 92 : proceedings of the 4th UK Conference on Logic Programming, London, 30 March-1 April 1992
Paper図書
Krysia Broda (ed.)Springer-Verlagc1993
Other Libraries in Japan
  • Author Heading...ndon, England) Broda, Krysia British Computer Society

Reached to the end of result.

RSS