Implementation of a logic-based support system for concurrent engineering

DOI10.1016/0169-023X(95)94024-3zbMath0875.68401OpenAlexW1964242500MaRDI QIDQ3122600

Arthur R. Greef, Robert E. Young, Peter O'Grady, Steffen M. Fohn

Publication date: 28 February 1997

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0169-023x(95)94024-3

zbMATH Keywords

Constraint satisfactionOrder-sorted logicConcurrent engineering

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (1)

A methodology for the reduction of imprecision in the engineering process

This page was built for publication: Implementation of a logic-based support system for concurrent engineering