Open AccessFinding Unity in Computational Logic
Author(s) -
Dale Miller
Publication year - 2010
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computational logic , computer science , sequent , philosophy of logic , sequent calculus , proof theory , computation , calculus (dental) , programming language , description logic , mathematics , mathematical proof , medicine , geometry , dentistry