First Page | Document Content | |
---|---|---|
Date: 2010-07-03 11:10:40Logic Proof theory Formal systems Logical truth Syntax Proof assistants Mathematical proof Logic programming Sequent KeY Rule of inference Inference | Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik DietrichAdd to Reading ListSource URL: dream.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 140,90 KBShare Document on Facebook |