المؤلفون: Ghourabi, Fadoua

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

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

المؤلفون: Ghourabi, Fadoua, Takahashi, Kazuko

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

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

المؤلفون: Ida, Tetsuo, Ghourabi, Fadoua, Takahashi, Kazuko

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

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

المؤلفون: Ghourabi, Fadoua^Aff16, Takahashi, Kazuko^Aff17

المساهمون: 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, Fleuriot, Jacques, editor^Aff13, Wang, Dongming, editor^Aff14, Calmet, Jacques, editor^Aff15

المصدر: Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings. 11110:139-154

المؤلفون: Ida, Tetsuo, Ghourabi, Fadoua, Takahashi, Kazuko

المصدر: In Journal of Symbolic Computation July-August 2015 69:93-108

المؤلفون: Ghourabi, Fadoua^Aff21, Kasem, Asem^Aff22, Kaliszyk, Cezary^Aff23

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Goebel, Randy, editor^Aff16, Siekmann, Jörg, editor^Aff17, Wahlster, Wolfgang, editor^Aff18, Ida, Tetsuo, editor^Aff19, Fleuriot, Jacques, editor^Aff20

المصدر: Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers. 7993:143-160

المؤلفون: Ghourabi, Fadoua^Aff21, Ida, Tetsuo^Aff21, Kasem, Asem^Aff22

المساهمون: 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, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Goebel, Randy, editor^Aff16, Siekmann, Jörg, editor^Aff17, Wahlster, Wolfgang, editor^Aff18, Schreck, Pascal, editor^Aff19, Narboux, Julien, editor^Aff19, Richter-Gebert, Jürgen, editor^Aff20

المصدر: Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. 6877:78-97

المؤلفون: Ida, Tetsuo^Aff1, Takahashi, Hidekazu^Aff1, Marin, Mircea^Aff1, Ghourabi, Fadoua^Aff1

المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gervasi, Osvaldo, editor, Gavrilova, Marina L., editor

المصدر: Computational Science and Its Applications – ICCSA 2007 : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II. 4706:653-665

المؤلفون: Ida, Tetsuo^Aff18, Takahashi, Hidekazu^Aff18, Marin, Mircea^Aff18, Ghourabi, Fadoua^Aff18, Kasem, Asem^Aff18

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Iglesias, Andrés, editor^Aff16, Takayama, Nobuki, editor^Aff17

المصدر: Mathematical Software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings. 4151:361-372

المؤلفون: Ida, Tetsuo, Kasem, Asem, Ghourabi, Fadoua, Takahashi, Hidekazu

المصدر: In Journal of Symbolic Computation 2011 46(5):571-583