Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Maghrabi, Talal H. - Department of Information and Computer Science, King Fahd University of Petroleum and Minerals
AUTOMATED THEOREM PROVING: AN OVERVIEW Talal H. Maghrabi*
,~~j~...,..-" 1 { ,)-';"";'1:-'-''~\:1
[~~'--.'.'\\.""' \"~ ~'-"."". .~~. "r= ~.-Q,~r:':-~"-'-,
November1997 Volmne:1 Nurnrer:2 assN: (1319-5107) 1-Computersin the ModernOassroorns:TheAlternativeto GenericSoftware
PROCEEDINGS OF NATIONAL COMPUTER
Automatic Program Generation Using Sequent Calculus Talal Maghrabi
17-18 March, 2002 (3-4 Muharram, 1423) In CooperationWith
KFUPM Library E-Services King Fahd University of Petroleum & Minerals
Java Precisely Version 1.05 of 2000-11-23
