1. Shodhbhagirathi @ IITR
  2. ELECTRONICS AND COMMUNICATION ENGINEERING (FORMERLY ELECTRONICS & COMPUTER ENGINEERING)
  3. MASTERS' THESES (E & C)
Please use this identifier to cite or link to this item: http://localhost:8081/xmlui/handle/123456789/9397
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSingh, Shyam Veer-
dc.date.accessioned2014-11-19T08:10:19Z-
dc.date.available2014-11-19T08:10:19Z-
dc.date.issued1993-
dc.identifierM.Techen_US
dc.identifier.urihttp://hdl.handle.net/123456789/9397-
dc.guideGarg, Kum Kum-
dc.description.abstractThe work presented in this dissertation is concerned with the generation of En$Zish text from the formal proofs. In order to generate the text one formal proof of a theorem has been taken as an example formal proof. If a theorem is given to a mathematician to check its validity he , using the logical mathematics do it easily. The proof so achieved is called the formal proof. The steps of formal proof are nothing but the complex network of mathematical symbols. The major task performed by this package is to translate the formal proofs into written proofs in English language. The package was written in TURBO 'C' and tested on IBM PC/XT/AT in MS-DOS environment.en_US
dc.language.isoenen_US
dc.subjectELECTRONICS AND COMPUTER ENGINEERINGen_US
dc.subjectELECTRONICS AND COMPUTER ENGINEERINGen_US
dc.subjectELECTRONICS AND COMPUTER ENGINEERINGen_US
dc.subjectELECTRONICS AND COMPUTER ENGINEERINGen_US
dc.titleTEXT GENERATION FROM FORMAL PROOFSen_US
dc.typeM.Tech Dessertationen_US
dc.accession.number246023en_US
Appears in Collections:MASTERS' THESES (E & C)

Files in This Item:
File Description SizeFormat 
ECD246023.pdf2.39 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.