کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4663132 | 1345230 | 2006 | 29 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
TPS: A hybrid automatic-interactive system for developing proofs
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The theorem proving system Tps provides support for constructing proofs using a mix of automation and user interaction, and for manipulating and inspecting proofs. Its library facilities allow the user to store and organize work. Mathematical theorems can be expressed very naturally in Tps using higher-order logic. A number of proof representations are available in Tps, so proofs can be inspected from various perspectives.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 4, Issue 4, December 2006, Pages 367–395
Journal: Journal of Applied Logic - Volume 4, Issue 4, December 2006, Pages 367–395
نویسندگان
Peter B. Andrews, Chad E. Brown,