Executing temporal logic programs

• Tác giả: B. C Moszkowski
• Ngôn ngữ: eng
• ISBN: 0521310997 (pbk.)
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
• Mô tả vật lý: 125 p. : , ill. ; , 23 cm.
• Bộ sưu tập: Công nghệ thông tin
• ID: 280681
• Chủ đề: 1. Computer programming; 2. Logic, Symbolic and mathematical

Bibliography: p. 120-125.