๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The use of Ada for the specification of automata in civil engineering

โœ Scribed by S Savoysky

Publisher
Elsevier Science
Year
1981
Weight
948 KB
Volume
11
Category
Article
ISSN
0066-4138

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An expert system for the compilation of
An expert system for the compilation of engineering specification documents
โœ J.H. Pettit ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 793 KB

An expert advisor (SPECIFAC) has been developed to assist design engineers in the creation of written engineering specification documents. A 'mix & match' style of clause library is used to provide a framework for the particular specifications. A proprietary shell was employed to build the advisor a

The use of lists in the study of undecid
The use of lists in the study of undecidable problemsin automata theory
โœ J. Hartmanis; F.D. Lewis ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 496 KB

Many of the problems in automata theory are unsolvable and can be classified into degrees of unsolvability by their relative difficulty. In this note, natural reference sets are presented which belong to the complete degrees at each level of the arithmetic hierarchy. Also, some questions regarding l