Works about LOGIC design
1
- Enterprise Modelling & Information Systems Architectures, 2025, v. 20, n. 1, p. 1, doi. 10.18417/emisa.20.1
- Bruls, Wiel;
- Winterb, R.;
- Foorthuis, R.;
- Steenbergen, M.;
- Lankhorst, M.;
- Mommers, B.;
- Brinkkemper, S.
- Article
2
- Cryptologia, 2025, v. 49, n. 4, p. 313, doi. 10.1080/01611194.2024.2350403
- Jenny, R. Sherine;
- Sudhakar, R.
- Article
3
- Advanced Control for Applications, 2024, v. 6, n. 4, p. 1, doi. 10.1002/adc2.237
- Wubu, Dessale Akele;
- Salau, Ayodeji Olalekan;
- Alitasb, Girma Kassa
- Article
4
- Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf005
- Herzig, Andreas;
- Luo, Jieting;
- Pardo, Pere
- Article
5
- Journal of Thermal Spray Technology, 2025, v. 34, n. 5, p. 1995, doi. 10.1007/s11666-025-02012-5
- Wu, Junkang;
- Liang, Tongqiang;
- Yao, Jian
- Article
6
- Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 45, n. 1-3, p. 133
- Article
7
- Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 45, n. 1-3, p. 1
- Article
8
- Touchpoint, 2025, v. 16, n. 2, p. 85, doi. 10.30819/touchpoint.16-2.19
- Article
9
- Touchpoint, 2025, v. 16, n. 2, p. 25, doi. 10.30819/touchpoint.16-2.05
- Article
10
- Journal of Electronic Materials, 2025, v. 54, n. 7, p. 5901, doi. 10.1007/s11664-025-12011-5
- Sharma, Arun Kumar;
- Kumar, Ritik;
- Gopal, Girdhar;
- Johar, Arun Kishor;
- Varma, Tarun
- Article
11
- Buildings (2075-5309), 2025, v. 15, n. 10, p. 1591, doi. 10.3390/buildings15101591
- Li, Luyang;
- Chen, Yan;
- Li, Houjun
- Article
12
- Symmetry (20738994), 2025, v. 17, n. 5, p. 789, doi. 10.3390/sym17050789
- Amador-Angulo, Leticia;
- Melin, Patricia;
- Castillo, Oscar
- Article
13
- Chemistry - A European Journal, 2022, v. 28, n. 22, p. 1, doi. 10.1002/chem.202282262
- Zhang, Yang;
- Szostak, Michal
- Article
14
- Chemistry - A European Journal, 2022, v. 28, n. 22, p. 1, doi. 10.1002/chem.202104278
- Zhang, Yang;
- Szostak, Michal
- Article
15
- Natural Computing, 2011, v. 10, n. 1, p. 467, doi. 10.1007/s11047-010-9237-6
- Goel, Ashish;
- Ibrahimi, Morteza
- Article
16
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 38, doi. 10.1007/s10009-003-0136-3
- Yang, Ping;
- Ramakrishnan, C.R.;
- Smolka, Scott A.
- Article
17
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 349
- Koen#Claessen;
- Mary#Sheeran;
- Satnam#Singh
- Article
18
- Measurement Techniques, 2007, v. 50, n. 11, p. 1197, doi. 10.1007/s11018-007-0223-z
- V. Gusev;
- I. Chernikov;
- T. Mirina
- Article
19
- Automation & Remote Control, 2005, v. 66, n. 8, p. 1336, doi. 10.1007/s10513-005-0174-2
- Goessel, M.;
- Morozov, A.;
- Sapozhnikov, V.;
- Sapozhnikov, Vl.
- Article
20
- Bioinformatics, 2011, v. 27, n. 4, p. 548, doi. 10.1093/bioinformatics/btq703
- Layek, Ritwik;
- Datta, Aniruddha;
- Bittner, Michael;
- Dougherty, Edward R.
- Article
21
- Eduvest: Journal Of Universal Studies, 2022, v. 2, n. 8, p. 1458, doi. 10.36418/eduvest.v2i8.539
- Ulita, Novena;
- Hananto, Brian Alvin
- Article
22
- Chips, 2024, v. 3, n. 4, p. 395, doi. 10.3390/chips3040020
- de Assumpção Jr., Jecel Mattos;
- Ando Jr., Oswaldo Hideo;
- de Araújo, Hugo Puertas;
- Gazziro, Mario
- Article
23
- Electronic Science & Technology, 2023, v. 36, n. 8, p. 43, doi. 10.16180/j.cnki.issn1007-7820.2023.08.007
- Article
24
- Journal of Philosophical Logic, 1997, v. 26, n. 1, p. 57, doi. 10.1023/A:1017941704456
- Article
25
- Science & Technology for the Built Environment, 2024, v. 30, n. 4, p. 394, doi. 10.1080/23744731.2023.2276011
- Grahovac, Milica;
- Ehrlich, Paul;
- Hu, Jianjun;
- Wetter, Michael
- Article
27
- Systems, 2020, v. 8, n. 4, p. 45, doi. 10.3390/systems8040045
- Lugnet, Johan;
- Ericson, Åsa;
- Larsson, Tobias
- Article
28
- Photonics, 2023, v. 10, n. 10, p. 1173, doi. 10.3390/photonics10101173
- Pavelyev, Vladimir;
- Krivosheeva, Yuliana;
- Golovashkin, Dimitriy
- Article
29
- Celal Bayar University Journal of Social Sciences / Celal Bayar Üniversitesi Sosyal Bilimler Dergisi, 2019, v. 17, n. 3, p. 66, doi. 10.18026/cbayarsos.485525
- Balcı, Birim;
- Çiloğlugil, Birol;
- İnceoğlu, Mustafa Murat
- Article
30
- Telecommunication Engineering, 2021, v. 61, n. 4, p. 440, doi. 10.3969/j.issn.1001-893x.2021.04.009
- Article
31
- Theory & Practice of Logic Programming, 2020, v. 20, n. 4, p. 552, doi. 10.1017/S1471068420000010
- MAHER, MICHAEL J.;
- TACHMAZIDIS, ILIAS;
- ANTONIOU, GRIGORIS;
- WADE, STEPHEN;
- CHENG, LONG
- Article
32
- International Journal of Electronics Letters, 2023, v. 11, n. 2, p. 180, doi. 10.1080/21681724.2022.2067903
- Chee, Hock Leong;
- Kok, Yu Zheng;
- Kumar, T. Nandha;
- Almurib, Haider A.F.
- Article
33
- 2022
- Razack, Saleem;
- de Carvalho Filho, Marco Antonio;
- Merlo, Gia;
- Agbor-Baiyee, William;
- de Groot, Janet;
- Reynolds, P. Preston
- Editorial
34
- Journal of Medical Internet Research, 2023, v. 25, n. 1, p. 1, doi. 10.2196/46622
- Hao, Longdan;
- Goetze, Stefan;
- Alessa, Tourkiah;
- Hawley, Mark S
- Article
35
- Design Issues, 2020, v. 36, n. 3, p. 31, doi. 10.1162/desi_a_00602
- Article
36
- Design Issues, 2020, v. 36, n. 2, p. 6, doi. 10.1162/desi_a_00586
- Article
37
- European Physical Journal D (EPJ D), 2012, v. 66, n. 1, p. 1, doi. 10.1140/epjd/e2011-10641-3
- Song, K.;
- Zhao, Y.;
- Shi, Z.;
- Xiang, S.;
- Chen, X.
- Article
38
- IUP Journal of Telecommunications, 2019, v. 11, n. 3, p. 18
- Hemalatha, Thalla;
- Babui, S. B. G. Tilak
- Article
39
- Annals of the Faculty of Engineering Hunedoara - International Journal of Engineering, 2021, n. 4, p. 165
- JIBRIL, Mustefa;
- TADESE, Messay;
- TADESE, Eliyas Alemayehu
- Article
40
- Information (2078-2489), 2022, v. 13, n. 9, p. N.PAG, doi. 10.3390/info13090439
- Bran, Emanuela;
- Nadoleanu, Gheorghe;
- Popovici, Dorin-Mircea
- Article
41
- Information (2078-2489), 2022, v. 13, n. 8, p. 379, doi. 10.3390/info13080379
- Maraslidis, George S.;
- Kottas, Theodore L.;
- Tsipouras, Markos G.;
- Fragulis, George F.
- Article
42
- International Review of Aerospace Engineering, 2019, v. 12, n. 1, p. 26, doi. 10.15866/irease.v12i1.15573
- Kabirov, Vagiz A.;
- Semenov, Valery D.;
- Shinyakov, Yury A.
- Article
43
- Advances in Civil Engineering, 2019, p. 1, doi. 10.1155/2019/1515808
- Khan, Numan;
- Ali, Ahmad K.;
- Skibniewski, Miroslaw J.;
- Lee, Do Yeop;
- Park, Chansik
- Article
44
- ARQ: Architectural Research Quarterly, 2020, v. 24, n. 3, p. 226, doi. 10.1017/S1359135520000378
- Ghelichi, Pedram;
- Zhu, Jingxiang
- Article
45
- Applied Developmental Science, 2020, v. 24, n. 3, p. 215, doi. 10.1080/10888691.2018.1454837
- McQuillin, Samuel D.;
- Lyons, Michael D.;
- Clayton, Rebecca J.;
- Anderson, Jacqueline R.
- Article
46
- EE: Evaluation Engineering, 2011, v. 50, n. 8, p. 28
- Article
47
- EE: Evaluation Engineering, 2005, v. 44, n. 10, p. 36
- Gallie, Keith;
- Wu Yang;
- Tamarapall, Nagesh
- Article
48
- Journal of Superconductivity & Novel Magnetism, 2022, v. 35, n. 2, p. 373, doi. 10.1007/s10948-021-06069-5
- Miloshevsky, Alexander;
- Nair, Niketh;
- Imam, Neena;
- Braiman, Yehuda
- Article
49
- Engineering Letters, 2020, v. 28, n. 4, p. 1152
- Jin-Long Tan;
- Kok-Swee Sim;
- Boon-Chin Yeo
- Article
50
- Engineering Letters, 2007, v. 15, n. 2, p. 203
- Article