Mathematical and Computational Sciences Division NISTIR 6297

First Page		Document Content
Date: 2010-02-05 09:50:36 Special functions Markup languages Mathematical software Mathematical tables Numerical analysis VRML LaTeX TeX Digital Library of Mathematical Functions Computing Mathematics Science		Mathematical and Computational Sciences Division NISTIR 6297 Add to Reading List Source URL: math.nist.gov Download Document from Source Website File Size: 434,89 KB Share Document on Facebook

	The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML) DocID: 1t4iQ - View Document
	Extreme Markup Languages 2004® Montréal, Québec August 2-6, 2004 Half-steps toward LMNL DocID: 1sQK7 - View Document
	Darwin Information Typing Architecture (DITA) Version 1.3 Part 1: Base Edition Candidate OASIS StandardSeptember 2015 Specification URIs This version: DocID: 1rtoz - View Document
	Auxiliary tasks by Ovidiu Predescu, Jeff Turner NOTICE: Copyright © Ovidiu Predescu and Jeff Turner. All rights reserved. The Anteater manual may be reproduced and distributed in whole or in part, in any medi DocID: 1rtjP - View Document
	Performance Optimizations for Apache Camel Christian Müller WARNING: Jetlagged! DocID: 1rtjn - View Document