LogicElsevierRIGHTSSemanticsSYSTEMSTheoryFormal LogicKnowledgeProbabilityRepresentationMathematical ModelsTheorem ProvingSYSTEMBeliefLANGUAGESAPPROACHAlgebraClassicalModalMEANS
无数据
vol.13 (2015)
vol.12 (2014)
vol.11 (2013)
vol.10 (2012)
vol.9 (2011)
vol.8 (2010)
vol.7 (2009)
vol.6 (2008)
vol.5 (2007)
vol.4 (2006)
vol.3 (2005)
vol.2 (2004)
vol.1 (2003)
不详
Godo, LluisPrade, HenriQi, Guilin
Belle, VaishakLevesque, Hector J.
Potyka, NicoBeierle, ChristophKernIsberner, Gabriele
Cholvy, Laurence
Eyre, HenriettaLawry, Jonathan
Ecke, AndreasPenaloza, RafaelTurhan, AnniYasmin
Cohen, AndreaGottifredi, SebastianGarcia, Alejandro J.Simari, Guillermo R.
Budan, Maximiliano C. D.Gomez Lucero, MauroViglizzo, IgnacioSimari, Guillermo R.
Beierle, ChristophButz, CoryKaci, Souhila
Mattei, NicholasGoldsmith, JudyKlapper, AndrewMundhenk, Martin
Arieli, Ofer
Eichhorn, ChristianKernIsberner, Gabriele
Ratnapinda, ParotDruzdzel, Marek J.
Liu, ScarlettWhitty, Mark
Zhang, YanZhu, ZhaohuiZhang, JinjinZhou, Yong
Eppe, ManfredBhatt, Mehul
Touazi, FaycalCayrol, ClaudetteDubois, Didier
Francez, Nissim
Selesnick, S. A.Rawling, J. P.
2015年04期
客服热线
400-638-5550
客服邮箱
service@cqvip.com