Open AccessDOI
Computer design in the PROEKT system
V. M. Glushkov,Yu. V. Kapitonova,A. A. Letichevskii +2 more
- Vol. 7, Iss: 2, pp 207-223
Reads0
Chats0
About:
The article was published on 1971-03-01 and is currently open access. It has received 7 citations till now. The article focuses on the topics: Generative Design & Electronic design automation.read more
Citations
More filters
Journal ArticleDOI
Completeness problems in classes of computable named functions
References
More filters
Syntax and semantics of formal languages
TL;DR: The Formal Methods course is about formally writing down languages (for example programming languages) and introduces these definitions: Rule: Finite set of premises and a conclusion.
Journal ArticleDOI