«Challenges for Action Theories» — книга ???? года.

Содержание

От издателя

«A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been…»

Рецензии

См. также

Ссылки

Book closed template.gif

Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её.