Record:   Prev Next
Title Time and logic : a computational approach / edited by Leonard Bolc & Andrzej Szalas
Imprint London : Bristol, Pa. : UCL Press, 1995
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 RCHSS Library  QA76.63 T58    AVAILABLE    30560400262512
 Inform. Sci. Books  F4.m T5835    AVAILABLE    30330000104765
Descript viii, 325 p. : ill. ; 25 cm
Note Includes bibliographical references and index
Subject Lagic programming
Time
Temporal logic iis
Alt Author Bolc, Leonard, 1934-
Szalas, Andrzej, 1958-
Record:   Prev Next