Time And Logic: A Computational Approach - książka wyd. 1995

Opis

Time and Logic: A Computational Approach – A scholarly work exploring the intersection of temporal reasoning and logic in computation. The book presents formal frameworks, algorithms, and applications for modeling, analyzing, and reasoning about time-dependent processes in computer science and related fields.