External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Deep Network Guided Proof Search

Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk. Deep Network Guided Proof Search. In Thomas Eiter, David Sands, editors, LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017. Volume 46 of EPiC Series, pages 85-105, EasyChair, 2017. [doi]

Authors

Sarah M. Loos

This author has not been identified. Look up 'Sarah M. Loos' in Google

Geoffrey Irving

This author has not been identified. Look up 'Geoffrey Irving' in Google

Christian Szegedy

This author has not been identified. Look up 'Christian Szegedy' in Google

Cezary Kaliszyk

This author has not been identified. Look up 'Cezary Kaliszyk' in Google
runs on