Browse by Journal Title

Group by: Creators | Item Type | Uncontrolled Keywords | No Grouping

engineering logic-based models temporal logic

Number of items: 3.

engineering

Nissan, Ephraim (1999) Guest Editorial. Special Issue: Temporal logic in engineering. AI EDAM (Artificial Intelligence for Engineering Design, Analysis and Manufacturing), 13 (2). p. 65. ISSN 0890-0604 (Print), 1469-1760 (Online)

logic-based models

Nissan, Ephraim (1999) Guest Editorial. Special Issue: Temporal logic in engineering. AI EDAM (Artificial Intelligence for Engineering Design, Analysis and Manufacturing), 13 (2). p. 65. ISSN 0890-0604 (Print), 1469-1760 (Online)

temporal logic

Nissan, Ephraim (1999) Guest Editorial. Special Issue: Temporal logic in engineering. AI EDAM (Artificial Intelligence for Engineering Design, Analysis and Manufacturing), 13 (2). p. 65. ISSN 0890-0604 (Print), 1469-1760 (Online)

This list was generated on Fri Apr 26 20:09:25 2024 UTC.