Treffer 1 - 12 von 12 für Suche 'Benzmuller, R.', Suchdauer: 0,65s Treffer weiter einschränken
  1. 1
    Microsegment synthesis-economic principles in a low-cost solution

    Microsegment synthesis-economic principles in a low-cost solution von Benzmuller, R., Barry, W.J.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Consistency in transcription and labelling of German intonation with GToBI

    Consistency in transcription and labelling of German intonation with GToBI von Grice, M., Reyelt, M., Benzmuller, R., Mayer, J., Batliner, A.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Throwing a MonkeyWrench into Web Attackers Plans

    Throwing a MonkeyWrench into Web Attackers Plans von Büscher, A, Meier, M, Benzmüller, R

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A Contextual and Labeled Math-Dataset Derived from NIST's DLMF

    A Contextual and Labeled Math-Dataset Derived from NIST's DLMF von Youssef, Abdou, Miller, Bruce R.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Focusing the Argumentative Process: Neighborhood-Based Semantics in Abstract Argumentation

    Focusing the Argumentative Process: Neighborhood-Based Semantics in Abstract Argumentation von Escañuela Gonzalez, Melisa G., Budán, Maximiliano C. D., Martínez, Diego I., Cobo, Maria Laura, Simari, Guillermo R.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Learning Condition–Action Rules for Personalised Journey Recommendations

    Learning Condition–Action Rules for Personalised Journey Recommendations von Karlsen, Matthew R., Moschoyiannis, Sotiris


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The Higher-Order Prover Leo-III

    The Higher-Order Prover Leo-III von Steen, Alexander, Benzmüller, Christoph


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    On Logic Embeddings and Gödel’s God

    On Logic Embeddings and Gödel’s God von Benzmüller, Christoph, Paleo, Bruno Woltzenlogel


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Why Reductionism does not Work

    Why Reductionism does not Work von Ellis, George F. R.

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Ωmega: Towards a mathematical assistant

    Ωmega: Towards a mathematical assistant von Benzmüller, Christoph, Cheikhrouhou, Lassaad, Fehrer, Detlef, Fiedler, Armin, Huang, Xiaorong, Kerber, Manfred, Kohlhase, Michael, Konrad, Karsten, Meier, Andreas, Melis, Erica, Schaarschmidt, Wolf, Siekmann, Jörg, Sorge, Volker


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Deep Inference for Automated Proof Tutoring?

    Deep Inference for Automated Proof Tutoring? von Benzmüller, Christoph, Dietrich, Dominik, Schiller, Marvin, Autexier, Serge


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Natural Language Dialog with a Tutor System for Mathematical Proofs

    Natural Language Dialog with a Tutor System for Mathematical Proofs von Benzmüller, Christoph, Horacek, Helmut, Kruijff-Korbayová, Ivana, Pinkal, Manfred, Siekmann, Jörg, Wolska, Magdalena


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: