Sr. No. | Title |
1 | 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013 |
2 | 2013 Formal Methods in Computer-Aided Design, FMCAD 2013 |
3 | 2014 11th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2014 |
4 | 2014 IEEE Conference on Norbert Wiener in the 21st Century: Driving Technology’s Future, 21CW 2014 – Incorporating the Proceedings of the 2014 North American Fuzzy Information Processing Society Conference, NAFIPS 2014, Conference Proceedings |
5 | ACM Transactions on Computational Logic |
6 | Advances in Modal Logic |
7 | Algebra and Logic |
8 | Annals of Pure and Applied Logic |
9 | Archive for Mathematical Logic |
10 | Bulletin of Symbolic Logic |
11 | Bulletin of the Section of Logic |
12 | Computational Linguistics in the Netherlands Journal |
13 | Erkenntnis |
14 | Fuzzy Optimization and Decision Making |
15 | Fuzzy Sets and Systems |
16 | Handbook of the History of Logic |
17 | iFUZZY 2014 – 2014 International Conference on Fuzzy Theory and Its Applications, Conference Digest |
18 | Journal of Applied Logic |
19 | Journal of Applied Non-Classical Logics |
20 | Journal of Logic and Algebraic Programming |
21 | Journal of Logic and Computation |
22 | Journal of Mathematical Logic |
23 | Journal of Multiple-Valued Logic and Soft Computing |
24 | Journal of Symbolic Logic |
25 | Logica Universalis |
26 | Mathematical Logic Quarterly |
27 | Notre Dame Journal of Formal Logic |
28 | Proceedings of the 2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems, GEFS 2013 – 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 |
29 | Proceedings of the 2013 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems, T2FUZZ 2013 – 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 |
30 | Reports on Mathematical Logic |
31 | Review of Symbolic Logic |
32 | Studia Logica |
33 | WLPE 2013 – 23rd Workshop on Logic-Based Methods in Programming Environments |
Logic
Posted by