Advertisement

PANEL : Logic and learnability

  • Luc de Raedt
Part 4: Theorem Proving And EBL
Part of the Lecture Notes in Computer Science book series (LNCS, volume 482)

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Luc de Raedt
    • 1
  1. 1.Department of Computer ScienceKatholieke Universiteit LeuvenHeverleeBelgium

Personalised recommendations