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

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

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

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

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

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

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

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

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

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

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

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

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

المصدر: 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2018 20th International Symposium on. :19-26 Sep, 2018

Relation: 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Bermejo, J., Campos, J.M., Sebastiani, R.

الإتاحة: https://www.jstor.org/stable/jj.15136017

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

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

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

URL الوصول: http://arxiv.org/abs/1106.5261

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

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

URL الوصول: https://escholarship.org/uc/item/11n7z852

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

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

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

URL الوصول: http://arxiv.org/abs/cs/9406102

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

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Baier, Christel, editor^Aff13, Tinelli, Cesare, editor^Aff14

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 9035:335-349

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.