Period of time： 2014年1期
Publisher： Springer Publishing Company
Founded in： 1953
Total resources： 90
ISSN： 0039-3215
Subject： B Philosophy and Religion
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Studia Logica,volume 72,issue 1
Menu
By Ojeda-Aciego M.,Brewka G.,de Guzmán I.P.,Pereira L.M. in (2002)
Studia Logica,volume 72,issue 1 , Vol. 72, Iss. 1, 2002-10 , pp.
Access to resources
Recommend
Subjective Situations and Logical Omniscience
By Moreno A.,Cortés U.,Sales T. in (2002)
Studia Logica,volume 72,issue 1 , Vol. 72, Iss. 1, 2002-10 , pp.Simultaneous Rigid Sorted Unification for Tableaux
By Martín P.J.,Gavilanes A. in (2002)
Studia Logica,volume 72,issue 1 , Vol. 72, Iss. 1, 2002-10 , pp.A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples
By van der Hoek W.,Thijsse E. in (2002)
Studia Logica,volume 72,issue 1 , Vol. 72, Iss. 1, 2002-10 , pp.Satisfiability Testing for Boolean Formulas Using Δ-trees
By Gutiérrez G.,de Guzmán I.P.,Martínez J.,Ojeda-Aciego M.,Valverde A. in (2002)
Studia Logica,volume 72,issue 1 , Vol. 72, Iss. 1, 2002-10 , pp.Hybrid Probabilistic Logic Programs as Residuated Logic Programs
By Damásio C.V.,Pereira L.M. in (2002)
Studia Logica,volume 72,issue 1 , Vol. 72, Iss. 1, 2002-10 , pp.