PDF-Proving via General Matings
B ANDREWS Umverslty Pittsburgh Pennsylvama An approach to automaUc theorem proving using matmgs of arbitrary sentences is discussed No use is made of conjunctive
Download Presentation
Download Note : "Proving via General Matings" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.