The Imperative Future Principles of Executable Temporal Logic: Principles of Executable Temporal Logic - Brossura
Sinossi
A presentation of the underlying principles and applications of executable temporal logic describing research on its use as a programming language. Eight computer scientists outline the "imperative future" approach, showing how a range of dynamic behaviors can be represented within METATEM as a powerful tool for researchers involved with time-dependent phenomena in computer science and artificial intelligence. Includes equations and code. Annotation c. by Book News, Inc., Portland, Or.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
