TTime and logicTime and logicde Leonard BolcMateriasLogic programmingTimeEdiciones (1)Time and logic (1995)UCL Press · inglésMás obras de Leonard BolcNatural language communication with computersThe Design of interpreters, compilers, and editors for augmented transition networksNatural language communication with pictorial information systems