共 50 条
- [41] Prolog and ASP Inference under One Roof LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 148 - 160
- [43] Three Trade Fairs under one Roof ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2008, 125 (1-2): : A20 - A20
- [46] DOME: operational metrics under one roof OBSERVATORY OPERATIONS: STRATEGIES, PROCESSES, AND SYSTEMS IV, 2012, 8448