Kat: Logic
✕
101 dergi · Sayfa 4 / 5
45 yayın
- 2015
10th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2012
United States
Logic
0,136
SJR
4
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2016
Proceedings of the 2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems, GE…
United States
Artificial Intelligence
Logic
0,131
SJR
4
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2017
iFUZZY 2014 - 2014 International Conference on Fuzzy Theory and Its Applications, Conference Digest
United States
Computational Theory and Mathematics
Computer Science Applications
Control and Optimization
+1 kategori daha…
0,131
SJR
4
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2015
Proceedings of the 25th International Conference on Efficiency, Cost, Optimization and Simulation…
Finland
Computational Mathematics
Computational Theory and Mathematics
Logic
0,130
SJR
6
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2020
2nd International Conference on Communication, Control and Intelligent Systems, CCIS 2016
United States
Artificial Intelligence
Communication
Computer Networks and Communications
+6 kategori daha…
0,126
SJR
9
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2014
CAL 2011 - 5th Conference Francophone sur les Architectures Logicielles
France
Hardware and Architecture
Logic
0,123
SJR
1
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2017
2014 11th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2014
United States
Control and Optimization
Logic
0,123
SJR
12
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2019
Proceedings of the 6th IASTED International Conference on Environment and Water Resource Manageme…
United States
Applied Mathematics
Logic
Modeling and Simulation
0,121
SJR
3
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2015
2012 International Conference on Fuzzy Theory and Its Applications, iFUZZY 2012
United States
Logic
0,119
SJR
8
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2012
Commonsense 2009 - Proceedings of the 9th International Symposium on Logical Formalizations of Co…
Australia
Logic
Software
0,115
SJR
4
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2011
2nd Conference Francophone sur les Architectures Logicielles, CAL 2008
France
Hardware and Architecture
Logic
0,114
SJR
2
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2020
2016 International Conference on Fuzzy Theory and Its Applications, iFuzzy 2016
United States
Applied Mathematics
Logic
0,114
SJR
5
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2019
MODELSWARD 2016 - 4th International Conference on Model-Driven Engineering and Software Developme…
Portugal
Computational Mathematics
Computational Theory and Mathematics
Logic
0,113
SJR
1
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2013
CAL 2010 - 4th Conference Francophone sur les Architectures Logicielles
France
Hardware and Architecture
Logic
0,107
SJR
1
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
Q4 2017
Journal of Logic and Algebraic Programming
Elsevier Inc. United States
Computational Theory and Mathematics
Q4
Logic
Q4
Software
Q4
+1 kategori daha…
0,106
SJR
36
H-Index
45 yayın
- 2015
22nd Workshop on Logic-Based Programming Environments, WLPE 2012
Spain
Logic
0,106
SJR
1
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2012
Proceedings of the IASTED International Conference on Modelling, Simulation, and Identification, …
United States
Applied Mathematics
Logic
Modeling and Simulation
0,105
SJR
4
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2016
WLPE 2013 - 23rd Workshop on Logic-Based Methods in Programming Environments
United States
Logic
Software
0,103
SJR
1
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2012
CAL 2009 - 3rd Conference Francophone sur les Architectures Logicielles
France
Hardware and Architecture
Logic
0,103
SJR
1
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
Q4 2012
Studies in Logic and the Foundations of Mathematics
Elsevier B.V. Netherlands
Logic
Q4
0,103
SJR
20
H-Index
45 yayın
- 2020
Proceedings of the IASTED International Conference on Modelling, Simulation and Identification, M…
Canada
Applied Mathematics
Logic
Modeling and Simulation
0,102
SJR
3
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2017
Proceedings - UKSim-AMSS 8th European Modelling Symposium on Computer Modelling and Simulation, E…
United States
Computational Theory and Mathematics
Computer Science Applications
Control and Optimization
+1 kategori daha…
0,102
SJR
3
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2017
RINA, Royal Institution of Naval Architects - International Conference on Fire at Sea 2014
United Kingdom
Computational Theory and Mathematics
Computer Science Applications
Control and Optimization
+1 kategori daha…
0,102
SJR
1
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus
45 yayın
- 2015
6eme Edition de la Conference Francophone sur les Architectures Logicielles, CAL 2012
France
Hardware and Architecture
Logic
0,102
SJR
3
H-Index
45
Kurum Yayını
33
Akademisyen
3
Q1+Q2
8
Scopus