IMSC - PDFSEARCH.IO - Document Search Engine

IMSC
Results: 679

#	Item
241	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ctan.imsc.res.in Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
242	Tables and Figures, continued \begin{figure} \caption{Swiss and Dutch Mennonite migrations of the 1700s and 1800s}\label{lmig} \centering (graphics must be EPS files for standard LATEX; but JPG, PNG, or PDF for pdfLATEX) Add to Reading List Source URL: ctan.imsc.res.in Language: English - Date: 2013-01-22 15:23:40 Typesetting Digital typography LaTeX Texinfo Kile AMS-LaTeX XeTeX Software Application software TeX
243	CTANIFY(1) CTANIFY(1) NAME ctanify − Prepare a package for upload to CTAN Add to Reading List Source URL: ctan.imsc.res.in Language: English - Date: 2013-06-19 00:35:13 LaTeX TeX Tar Ls Device independent file format Zip Computer file Filename File Computing Archive formats Computer file formats
244	THE CIRTH The Certhas Daeron was originally devised to represent the sounds of Sindarin only. The oldest cirth were p1 , b2 , 5 , m6 ; t8 , d9 , n12 ; k18 , g19 , N22 ; r29 , l31 ; S35 , z36 ; i39 , u42 , e46 , o50 ; and Add to Reading List Source URL: ctan.imsc.res.in Language: English - Date: 2004-11-07 07:23:00 Khuzdul Sindarin Dwarf Westron Quenya Balin Runic script Elf Orc Alphabetic writing systems Middle-earth Cirth
245	Regular Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Ut purus elit, vestibulum ut, placerat ac, adipiscing vitae, felis. Curabitur dictum gravida mauris. Nam arcu libero, nonummy eget, consectetuer id, vulpu Add to Reading List Source URL: ctan.imsc.res.in Language: French - Date: 2013-07-16 07:58:40
246	Dokumentation zu Win-LATEX Thomas Reinhardt Version 0.8, [removed] Add to Reading List Source URL: ctan.imsc.res.in - Date: 2006-03-12 08:54:03
247	Archaic Font Sampler Peter Wilson∗ Herries Press 6 February[removed]Contents Add to Reading List Source URL: ctan.imsc.res.in Language: English - Date: 2006-02-06 22:43:00 Orthography Notation Old Persian language Alphabetic writing systems Memory of the World Register Phoenician alphabet Alphabet Greek alphabet Cuneiform Typography Fertile Crescent Linguistics
248	Standard File Headers Nelson H. F. Beebe Center for Scientific Computing Department of Mathematics University of Utah Salt Lake City, UT 84112 Add to Reading List Source URL: ctan.imsc.res.in Language: English - Date: 2008-10-10 15:44:00 Emacs BibTeX GNU TeX Free software RefTeX Software Application software GNU Project
249	PDF Document Add to Reading List Source URL: ctan.imsc.res.in Language: English - Date: 2005-04-03 20:00:00 Typesetting Desktop publishing software TeX LaTeX LyX Markup language Emacs Device independent file format DocBook Software Application software Computing
250	PDF Document Add to Reading List Source URL: ctan.imsc.res.in - Date: 2013-01-10 17:27:19

UPDATE