المؤلفون: Autexier, Serge, Dietrich, Dominik, Schiller, Marvin

المصدر: EPTCS 79, 2012, pp. 1-28

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Mathematical Software, Computer Science - Symbolic Computation, K.3.0, I.2.3

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

المؤلفون: Autexier, Serge, David, Catalin, Dietrich, Dominik, Kohlhase, Michael, Zholudev, Vyacheslav

مصطلحات موضوعية: Computer Science - Digital Libraries, 68U35, E.2, H.3.7, H.3.6, G.4, F.4.2

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

المؤلفون: Dietrich, Dominik^Aff19, Whiteside, Iain^Aff20, Aspinall, David^Aff21

المساهمون: 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, McMillan, Ken, editor^Aff16, Middeldorp, Aart, editor^Aff17, Voronkov, Andrei, editor^Aff18

المصدر: Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. 8312:776-791

المؤلفون: Autexier, Serge^Aff18, Dietrich, Dominik^Aff18, Hutter, Dieter^Aff18, Lüth, Christoph^Aff18, Maeder, Christian^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, Aff17}, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Margaria, Tiziana, editor^Aff16

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. 7609:238-252

المؤلفون: Dietrich, Dominik^Aff18, Schröder, Lutz^Aff18, Schulz, Ewaryst^Aff18

المساهمون: 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, Giannakopoulou, Dimitra, editor^Aff16, Orejas, Fernando, editor^Aff17

المصدر: Fundamental Approaches to Software Engineering : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. 6603:81-95

المؤلفون: Autexier, Serge^Aff1, Benzmüller, Christoph^Aff2, Dietrich, Dominik^Aff2, Siekmann, Jörg^Aff1

المساهمون: Crocker, Matthew W., editor^AffID1, Siekmann, Jörg, editor^AffID2

المصدر: Resource-Adaptive Cognitive Processes. :389-423

المؤلفون: Autexier, Serge^Aff18, Dietrich, Dominik^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, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Kaufmann, Matt, editor^Aff16, Paulson, Lawrence C., editor^Aff17

المصدر: Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. 6172:99-114

المؤلفون: Breuss, Michael^Aff20, Dietrich, Dominik^Aff21

المساهمون: 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, Mertsching, Bärbel, editor^Aff19, Hund, Marcus, editor^Aff19, Aziz, Zaheer, editor^Aff19

المصدر: KI 2009: Advances in Artificial Intelligence : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. 5803:419-426

المؤلفون: Autexier, Serge^Aff20, Dietrich, Dominik^Aff20

المساهمون: 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, Mertsching, Bärbel, editor^Aff19, Hund, Marcus, editor^Aff19, Aziz, Zaheer, editor^Aff19

المصدر: KI 2009: Advances in Artificial Intelligence : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. 5803:444-451

المؤلفون: Dietrich, Dominik^Aff1, Schulz, Ewaryst^Aff1, Wagner, Marc^Aff1

المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Autexier, Serge, editor, Campbell, John, editor, Rubio, Julio, editor, Sorge, Volker, editor, Suzuki, Masakazu, editor, Wiedijk, Freek, editor

المصدر: Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. 5144:398-414