Elamur Research⌕
☰
home / venues / EPiC series in computing / 2017

EPiC series in computing 2017 — papers

The works of EPiC series in computing published in 2017 that our library holds: 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

 1work in our library 139citations of these works

 Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

  1. Deep Network Guided Proof SearchEPiC series in computingSarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citations

 Top topics

Topics of its works in our library, with the number of works on each.

Reasoning (1)

 Fields

Computer Science (1)

 Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

🧑‍🔬Cezary Kaliszyk1 work here · 139 citations🧑‍🔬Christian Szegedy1 work here · 139 citations🧑‍🔬Geoffrey Irving1 work here · 139 citations🧑‍🔬Sarah M. Loos1 work here · 139 citations

 Top institutions

Institutions on the bylines of its works here, by the number of works.

🏢GoogleMountain View · United States1 work here🎓Universität InnsbruckInnsbruck · Austria1 work here🎓Carnegie Mellon UniversityPittsburgh · United States1 work here

works and citations from OpenAlex and our library.

This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2017/