Logics in Computer Science
Subtitle: A Study on Extensions of Temporal and Strategic Logics
Publisher: We Publish Books
Published: 2013
Language: eng
ISBN-13: 9789491216954
Subjects: Logic programming; Computer science