Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Geoffrey Irving
Deep Network Guided Proof Search
Related publications
Deep Proof Search in MELL
Information Technology for Optimization of Groundwater Monitoring Network Using Guided Local Search
Actual problems of automation and information technology
Proof Search in Lax Logic
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Cascading Guided Search Cloud Service Search Engine
INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY
Extracting Proofs From Tabled Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Functional Pearl: The Proof Search Monad
Fluorescence-Guided Stereotactic Biopsy: A Proof-Of-Concept Study
Journal of Neurosurgery
Surgery
Neurology
Proof Sketches: Verifiable In-Network Aggregation
