Time and logic
Subtitle: a computational approach
By: edited by Leonard Bolc & Andrzej Szałas.
Contributors: Bolc, Leonard, 1934-; Szałas, Andrzej, 1958-
Publisher: UCL Press
Published: 1995
Place of publication: London
Language: eng
Number of pages: 325
Subjects: Logic programming.; Time.
Other titles: Time & logic
Notes: Includes bibliographical references and index.