University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Chair for AI Systems Engineering (AISE)

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Applied Computer Science
  6. Chair for AI Systems Engineering (AISE)
  7. News
  8. "Who Finds the Short Proof?" just appeared in Logic Journal of the IGPL

"Who Finds the Short Proof?" just appeared in Logic Journal of the IGPL

Our recent artitle titled "Who Finds the Short Proof?" just appeared in Logic Journal of the IGPL published by Oxford University Press; see https://doi.org/10.1093/jigpal/jzac082