Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
411	Rewriting Shakespeare* Plain English how-tos Have you ever wondered why plain English is so important? Try rewriting the greats of English literature, using the language of today. Add to Reading List Source URL: www.plainenglishfoundation.com Language: English - Date: 2014-03-19 01:41:54 The Darling Buds Television in the United Kingdom
412	[< FILENAME * Upperp >M:WWWROOTOPC_GOV_AUPLAINDOCSREWRITING.DOC] [< DATE @ "d MMM yyyy" >26 Nov 2002] [< TIME @ "h:mm AM/PM" >12:48 PM] Page < PAGE >42 Rewriting legislation Add to Reading List Source URL: opc.gov.au Language: English - Date: 2013-04-11 01:02:26 Readability Rewrite Plain language English language Drafter Technical drawing
413	GGD: Graph Grammar Developer for features in CAD/CAM Christoph Klauck and Johannes Schwagereit German Research Center for Articial Intelligence Inc. (DFKI) ARC-TEC Project Mailing address: P.O. Box 2080, D-6750 Kaisersl Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:02:33 Theoretical computer science Graph rewriting Graph Feature structure Topology Context-free grammar Feature recognition Graph theory Mathematics Combinatorics
414	A Computational Logic This is a volume in the ACM MONOGRAPH SERIES Editor: THOMAS A. STANDISH, University of California at Irvine Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2007-12-17 11:07:14 Mathematical logic Problem solving Epistemology Logic in computer science Rewriting Theorem Type theory Heuristic Tau Logic Mathematics Science
415	1997-Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-10 19:20:44 Automated theorem proving Boolean algebra Logic in computer science Logic programming Resolution Rewriting Clausal normal form Valuation Propositional calculus Logic Mathematical logic Mathematics
416	A Calculus for and Termination of Rippling David A. Basin Max-Planck-Institut fur Informatik, Saarbrucken, Germany email: [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 02:05:21 Heuristics Rippling Formal languages Logic in computer science Applied mathematics Partial differential equations Rewriting Wave N-skeleton Theoretical computer science Mathematics Automated theorem proving
417	Towards a General Composition Semantics for Rule-Based Model Transformation Dennis Wagelaar1? , Massimo Tisi2 , Jordi Cabot2 , and Fr´ed´eric Jouault2 1 2 Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2011-07-18 06:30:13 Computing Formal languages Unified Modeling Language VIATRA Fold Cascading Style Sheets Graph rewriting Combinatorics Mathematics
418	Rewriting the Organofluorine Playbook Add to Reading List Source URL: phys.org Language: English - Date: 2015-03-04 01:46:09 Organofluorine Fluorine Fullerene Electrochemistry Redox Electron Chemistry Organofluorides Organofluorine chemistry
419	Position Paper: Software Modelling Education Add to Reading List Source URL: www.se.uni-oldenburg.de Language: English - Date: 2015-01-15 09:20:28 Scientific modeling Software development Science ECO Graph rewriting KeY Metamodeling Modeling language Model-driven engineering Unified Modeling Language Systems engineering Software engineering
420	MIPA Bounce Address Tag Validation (BATV) “Was use of the bounce address authorized?” Add to Reading List Source URL: mipassoc.org Language: English - Date: 2006-04-30 13:59:12 Bounce Address Tag Validation Non delivery report Bounce address Bounce Extended SMTP Return address Public-key cryptography Variable envelope return path Sender Rewriting Scheme Email Computer-mediated communication Computing

UPDATE