ISOC - PDFSEARCH.IO - Document Search Engine

ISOC
Results: 1245

#	Item
851	The bguq macro package for LATEX 2ε J.J. Green Version[removed]This file defines the package bguq which provides LATEX 2ε access to the Begriffsschrift universal quantifier “ ” from the bguq font in a small Add to Reading List Source URL: mirror.isoc.org.il Language: English - Date: 2012-08-05 11:47:40 Computing Begriffsschrift Gottlob Frege LaTeX TeX Quantification Man page Analytic philosophy Philosophical logic Logic
852	Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1 Add to Reading List Source URL: mirror.isoc.org.il Language: English - Date: 2004-08-22 15:59:00 Algorithms Hindley–Milner Theoretical computer science Type inference String Encoding Mathematics Type theory Computing
853	Глава 1 Russian The way fonts are handled is poor and it must be improved. For example, here \englishtext does not always work correctly. A single script like Cyrillic can have several font encodings depending on Add to Reading List Source URL: mirror.isoc.org.il Language: English - Date: 2006-01-23 19:00:00 Character encoding Shcha Cyrillic script Es Ze Ye Pe A Ge Languages of Europe Languages of Asia Linguistics
854	101029_OSHA_logo_final_IsoC Add to Reading List Source URL: www.ttl.fi Language: English - Date: 2012-12-21 02:46:48 Scandic Hotels Occupational safety and health Scandinavian Journal of Work Environment & Health Finland National Institute of Occupational Health Europe Industrial hygiene Safety
855	PDF Document Add to Reading List Source URL: mirror.isoc.org.il - Date: 2008-06-13 04:08:00
856	PDF Document Add to Reading List Source URL: mirror.isoc.org.il Language: English - Date: 2005-04-03 19:01:00 Typesetting Desktop publishing software TeX LaTeX LyX Markup language Emacs Device independent file format DocBook Software Application software Computing
857	Add to Reading List Source URL: mirror.isoc.org.il - Date: 2003-02-24 19:08:00
858	The Artificial Uncial fonts∗ Peter Wilson† Herries Press[removed]Abstract Add to Reading List Source URL: mirror.isoc.org.il Language: English - Date: 2005-12-01 00:17:11 Typesetting Typography Palaeography Early Middle Ages Papyrology Uncial script Insular script Carolingian minuscule Manuscript Latin alphabet Western calligraphy Calligraphy
859	Asymptote 范例教程刘海洋 2009 年 7 月 6 日 i Add to Reading List Source URL: mirror.isoc.org.il Language: Chinese - Date: 2009-07-21 21:44:00
860	Asymptote: 矢量绘图语言 1.79 版 symptote 本文件是 Asymptote 1.79 版的文档。 Add to Reading List Source URL: mirror.isoc.org.il Language: Vietnamese - Date: 2009-07-21 21:44:00

UPDATE