학술논문
'학술논문'
에서 검색결과 136건 | 목록
1~10
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 June 2024, 34(4):764-794)
Academic Journal
Olivetti, N.; Sacilotto, L.; Wu, T.C.; Pessente, G.D.; Hachul, D.T.; Scanavacca, M.I.; Darrieux, F.; Capeline, L.S.; Wulkan, F.; Carvalho, M.L.P.D.; Pereira, A.D.C.; Krieger, J.E.; Moleta, D.B.; Vieira, M.L.C.; França, L.A.D.
In: Diagnostics . (Diagnostics, January 2024, 14(2))
Academic Journal
In Artificial Intelligence September 2015 226:1-33
Academic Journal
Pichara, N.L.; Soares, B.M.A.F.; Falcochio, P.P.P.N.F.; Falcão, A.M.G.; Chalela, W.A.; Sacilotto, L.; Scanavacca, M.I.; da Costa Darrieux, F.C.; Cardoso, A.F.; Olivetti, N.
In: Europace . (Europace, 1 July 2023, 25(7))
Academic Journal
In Artificial Intelligence February 2013 195:165-202
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. (Leibniz International Proceedings in Informatics, LIPIcs, February 2024, 288)
Book
In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14740 LNAI:78-96)
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 March 2022, 32(2):233-280)
Academic Journal
Marques, T.; Darrieux, F.; Gouvêa, F.; Garambone, L.; Lindoso, A.P.; Lage, J.; Sacilotto, L.; Coimbra, A.L.; Pinheiro, M.; Olivetti, N.; Lara, S.; Hardy, C.; Athayde, G.; Hachul, D.; Pisani, C.; Wu, T.C.; Scanavacca, M.
In: Arquivos Brasileiros de Cardiologia . (Arquivos Brasileiros de Cardiologia, 2022, 119(4):514-519)
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 April 2021, 31(3):947-997)
검색 결과 제한하기
제한된 항목
[AR] Olivetti, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어