1. Answer set programming. ([2019]) Authors: Lifschitz, Vladimir Record Type: Book Extent: 1 online resource (xi, 190 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Time & logic : a computational approach /: a computational approach. (2019) Editors: Bolc, Leonard, 1934-; Szałas, Andrzej, 1958- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗