001.642 / M855e
Moszkowski, B. C.
EXECUTING TEMPORAL LOGIC PROGRAMS / .- Cambridge: Cambridge Univ. Pr., 1986 .- 125 .
Subject Headings:
Electronic Digital Computers -- Programming;
Copy Details:
Acc. No.: A95681, Full Call No.: 001.642 M855e, Item type: Withdrawn , Location: R311,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Moszkowski, B. C.
EXECUTING TEMPORAL LOGIC PROGRAMS / .- Cambridge: Cambridge Univ. Pr., 1986 .- 125 .
Subject Headings:
Electronic Digital Computers -- Programming;
Copy Details:
Acc. No.: A95681, Full Call No.: 001.642 M855e, Item type: Withdrawn , Location: R311,
------------------------- --------------------- ------ --------- ------- ------- --------- --------