المؤلفون: Spallitta G., Masina G., Morettin P., Passerini A., Sebastiani R.

المساهمون: Spallitta, G., Masina, G., Morettin, P., Passerini, A., Sebastiani, R.

العلاقة: volume:328; journal:ARTIFICIAL INTELLIGENCE; https://hdl.handle.net/11572/402193Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85183135983

الإتاحة: https://doi.org/10.1016/j.artint.2024.104067Test
https://hdl.handle.net/11572/402193Test

المؤلفون: Saia, T. F. F., Meneghin, S. P., Sebastiani, R.

المصدر: Brazilian Journal of Biology. February 2021 81(1)

وصف الملف: text/html

الوصول الحر: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S1519-69842021000100210Test

المؤلفون: Trentin P., Sebastiani R.

المساهمون: Trentin, P., Sebastiani, R.

مصطلحات موضوعية: OMT Satisfiability Modulo Theorie, Optimization Modulo Theorie, SMT Floating-Point Arithmetic attractor dynamic attractor

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000676054600001; volume:65; issue:7; firstpage:1071; lastpage:1096; numberofpages:26; journal:JOURNAL OF AUTOMATED REASONING; http://hdl.handle.net/11572/328775Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85111085974; https://link.springer.com/article/10.1007/s10817-021-09600-4#rightslinkTest

الإتاحة: https://doi.org/10.1007/s10817-021-09600-4Test
http://hdl.handle.net/11572/328775Test

المؤلفون: Irfan A., Cimatti A., Griggio A., Roveri M., Sebastiani R.

المساهمون: Abbott, J., Griggio, A., Irfan, A., Cimatti, A., Roveri, M., Sebastiani, R.

العلاقة: ispartofbook:SC-square 2019, Satisfiability Checking and Symbolic Computation 2019: Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SIAM AG 2019; 4th Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2019; volume:2460; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Abbott, J.; Griggio, A.; http://hdl.handle.net/11572/276132Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85073788288

الإتاحة: http://hdl.handle.net/11572/276132Test

المؤلفون: Barrett, C, Sebastiani, R, Seshia, SA, Tinelli, C

وصف الملف: application/pdf

الوصول الحر: https://escholarship.org/uc/item/11n7z852Test

المؤلفون: Patel-Schneider, P. F., Sebastiani, R.

المصدر: Journal Of Artificial Intelligence Research, Volume 18, pages 351-389, 2003

مصطلحات موضوعية: Computer Science - Artificial Intelligence

الوصول الحر: http://arxiv.org/abs/1106.5261Test

المؤلفون: Silva, J. V., Souto, L. S., Sebastiani, R.

المصدر: Brazilian Journal of Biology. April 2019 79(2)

وصف الملف: text/html

الوصول الحر: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S1519-69842019000200358Test

المؤلفون: Sebastiani, R., Fujihara, R. T., Garcia, M.

المصدر: Brazilian Journal of Biology. July 2017 77(3)

وصف الملف: text/html

الوصول الحر: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S1519-69842017000300662Test

المؤلفون: Sebastiani, R.

المصدر: Journal of Artificial Intelligence Research, Vol 1, (1994), 309-314

مصطلحات موضوعية: Computer Science - Artificial Intelligence

الوصول الحر: http://arxiv.org/abs/cs/9406102Test

المؤلفون: Cimatti A., Griggio A., Lipparini E., Sebastiani R.

المساهمون: Cimatti, A., Griggio, A., Lipparini, E., Sebastiani, R.

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783031199912; info:eu-repo/semantics/altIdentifier/isbn/9783031199929; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022; firstpage:137; lastpage:153; numberofpages:17; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11567/1145115Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85142736667

الإتاحة: https://doi.org/10.1007/978-3-031-19992-9_9Test
https://hdl.handle.net/11567/1145115Test