Period of time： 2013年6期
Publisher： Oxford University Press
Founded in： 1990
Total resources： 4
ISSN： 1465-363X
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Logic and Computation,volume 22,issue 6
Menu
By Pereira Lus Moniz in (2012)
Journal of Logic and Computation,volume 22,issue 6 , Vol. 22, Iss. 6, 2012-12 , pp.
Access to resources
Recommend
A plea for the majority method in aggregating judgements
By Garca-Bermejo Juan Carlos in (2012)
Journal of Logic and Computation,volume 22,issue 6 , Vol. 22, Iss. 6, 2012-12 , pp.Dynamic specification of open agent systems
By Artikis Alexander in (2012)
Journal of Logic and Computation,volume 22,issue 6 , Vol. 22, Iss. 6, 2012-12 , pp.Modelling epistemic actions in interrogative belief revision
By Enqvist Sebastian in (2012)
Journal of Logic and Computation,volume 22,issue 6 , Vol. 22, Iss. 6, 2012-12 , pp.Preserving mappings in fuzzy predicate logics
Journal of Logic and Computation,volume 22,issue 6 , Vol. 22, Iss. 6, 2012-12 , pp.By Omodeo Eugenio G.,Policriti Alberto,Tomescu Alexandru I. in (2012)
Journal of Logic and Computation,volume 22,issue 6 , Vol. 22, Iss. 6, 2012-12 , pp.Optimal decompositions of matrices with entries from residuated lattices
Journal of Logic and Computation,volume 22,issue 6 , Vol. 22, Iss. 6, 2012-12 , pp.An abstract view on syntax with sharing
Journal of Logic and Computation,volume 22,issue 6 , Vol. 22, Iss. 6, 2012-12 , pp.By Sernadas A.,Sernadas C.,Rasga J. in (2012)
Journal of Logic and Computation,volume 22,issue 6 , Vol. 22, Iss. 6, 2012-12 , pp.