✦ LIBER ✦

Preliminary analysis of a baseline system model for lunar manufacturing

✍ Scribed by H.H. Koelle

Publisher: Elsevier Science
Year: 1982
Tongue: English
Weight: 950 KB
Volume: 9
Category: Article
ISSN: 0094-5765
DOI: 10.1016/0094-5765(82)90069-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Justification of manufacturing expert sy

Justification of manufacturing expert systems: a framework for analysis

✍ Lawrence C. Leung; William A. Miller; Geoffrey Okogbaa 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 256 KB

Database model for hierarchical control

Database model for hierarchical control of manufacturing cell systems in a manufacturing shop

✍ Li Lin; Yi-Jen Fang 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 961 KB

Timed Petri net: An expeditious tool for

Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems

✍ G.B. Reddy; S.S.N. Murty; K. Ghosh 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 1010 KB

Asymptotic analysis of model problems fo

Asymptotic analysis of model problems for a coupled system

✍ F.A. Howes; S. Shao 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 725 KB

Clustering algorithms for the design of

Clustering algorithms for the design of a cellular manufacturing system - an analysis for their performance

✍ Tarun Gupta; Hamid Seifoddini 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 398 KB

A Topological Model for Troelstra's Syst

A Topological Model for Troelstra's System CS of Intuitionistic Analysis

✍ Konrad Schultz 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 395 KB

The classical topological model for intuitionistic predicate logic was extended by SCOTT [Ti] and J. R. MOSCHOVAKIS [3] to intuitionistic analysis. This intuitionistic analysis includes a strong version of Kripke's schema and is thus different from TROELSTRA's system C s [6]. I n this paper we will