海量图书期刊资源,随时随地畅享阅读乐趣
The RANTANPLAN planner: system descriptionBofill, Miquel; Espasa, Joan; Villaret, Mateu · The Knowledge Engineering Review · 2016
Extensions of Kripke modelsZaare, Mostafa · Logic Journal of the IGPL · 2017
Descriptions in quantum mechanicsKrause, Décio · Logic Journal of the IGPL · 2017
Propositional superposition logicTzouvaras, Athanassios · Logic Journal of the IGPL · 2017
OUP accepted manuscriptLogic Journal Of The Igpl · 2017
ForewordCarnielli, Walter; Hermann Haeusler, Edward; Viana, Petrucio · Logic Journal of the IGPL · 2017
Compactness, colocatedness, measurability and EDArdeshir, Mohammad; Ghafouri, Zahra · Logic Journal of the IGPL · 2018
Trees for EStandefer, Shawn · Logic Journal of the IGPL · 2018