Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,284
A TUTORIAL INTRODUCTION TO THE UNIX TO UNIVAC COMMUNICATION SYSTEM
"... A tutorial introduction to the Unix to Univac communiation system ..."
HOL Light: A tutorial introduction
- Proceedings of the First International Conference on Formal Methods in Computer-Aided Design (FMCAD’96), volume 1166 of Lecture Notes in Computer Science
, 1996
"... HOL Light is a new version of the HOL theorem prover. While retaining the reliability and programmability of earlier versions, it is more elegant, lightweight, powerful and automatic; it will be the basis for the Cambridge component of the HOL-2000 initiative to develop the next generation of HOL th ..."
Abstract
-
Cited by 109 (11 self)
- Add to MetaCart
HOL Light is a new version of the HOL theorem prover. While retaining the reliability and programmability of earlier versions, it is more elegant, lightweight, powerful and automatic; it will be the basis for the Cambridge component of the HOL-2000 initiative to develop the next generation of HOL theorem provers. HOL Light is written in CAML Light, and so will run well even on small machines, e.g. PCs and Macintoshes with a few megabytes of RAM. This is in stark contrast to the resource-hungry systems which are the norm in this field, other versions of HOL included. Among the new features of this version are a powerful simplifier, effective first order automation, simple higher-order matching and very general support for inductive and recursive definitions.
Using Thistle: a tutorial introduction
, 2001
"... Warning: The software described here is under development and liable to change. You are reminded that it comes with no warranty.1 This document constitutes a tutorial introduction to the diagram display engine and editor Thistle. For the time being, we focus on how to use Thistle with the kinds of d ..."
Abstract
- Add to MetaCart
Warning: The software described here is under development and liable to change. You are reminded that it comes with no warranty.1 This document constitutes a tutorial introduction to the diagram display engine and editor Thistle. For the time being, we focus on how to use Thistle with the kinds
Tutorial Introduction to Intestinal Failure
"... Intestinal failure is a condition resulting from obstruction, dysmotility, surgical resection, congenital defect, or disease-associated loss of absorption characterized by the inability to maintain protein-energy, fluid, electrolyte, or micronutrient ..."
Abstract
- Add to MetaCart
Intestinal failure is a condition resulting from obstruction, dysmotility, surgical resection, congenital defect, or disease-associated loss of absorption characterized by the inability to maintain protein-energy, fluid, electrolyte, or micronutrient
Tutorial Introduction to Intestinal Failure
, 2013
"... jpen.sagepub.com hosted at online.sagepub.com ..."
Tutorials Introduction to pdfTEX ∗
"... The following article is aimed at beginners and/or those interested in quickly creating PDF documents ..."
Abstract
- Add to MetaCart
The following article is aimed at beginners and/or those interested in quickly creating PDF documents
Results 1 - 10
of
1,284
