← Back to Browse
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

by Frank Pfenning