Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Omega: Towards a Mathematical Assistant.

C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, A. Meier, E. Melis, W. Schaarschmidt, J. Siekmann, und V. Sorge. CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 252-255. Springer, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. -Ing. Karsten Keller University of Stuttgart

Thomas Konrad University of Stuttgart

Gernot Konrad University of Stuttgart

Konrad Langenbeck

Prof. Dr. -Ing. Konrad Langenbeck University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Low-power area-efficient delay element with a wide delay range.J. Al-Eryani, A. Stanitzki, K. Konrad, N. Tavangaran, D. Brückmann, und R. Kokozinski. ICECS, Seite 717-720. IEEE, (2012)Delay element concept for Continuous Time Digital Signal Processing.K. Konrad, D. Brückmann, N. Tavangaran, J. Al-Eryani, R. Kokozinski, und T. Werthwein. ISCAS, Seite 2775-2778. IEEE, (2013)Model generation for natural language interpretation and analysis.K. Konrad. Saarland University, Saarbrücken, Germany, (2000)Understanding "Each Other".C. Gardent, und K. Konrad. ANLP, Seite 319-326. ACL, (2000)An Education and Research Tool for Computational Semantics.K. Konrad, H. Maier, D. Milward, und M. Pinkal. COLING, Seite 1098-1101. (1996)Continuous Time digital systems with Asynchronous Sigma Delta Modulation.N. Tavangaran, D. Brückmann, R. Kokozinski, und K. Konrad. EUSIPCO, Seite 225-229. IEEE, (2012)Effects of jitter on continuous time digital systems with granularity reduction.N. Tavangaran, D. Brückmann, T. Feldengut, B. Hosticka, R. Kokozinski, K. Konrad, und R. Lerch. EUSIPCO, Seite 525-529. IEEE, (2011)CLEARS - Ein Werkzeug für Ausbildung und Forschung in der Computerlinguistik.K. Konrad, H. Maier, M. Pinkal, und D. Milward. KONVENS, Seite 379-387. de Gruyter, (1996)CLEARS - An Education and Research Tool for Computational SemanticsD. Milward, K. Konrad, H. Maier, und M. Pinkal. CoRR, (1996)HOT: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux.K. Konrad. TPHOLs, Volume 1479 von Lecture Notes in Computer Science, Seite 245-261. Springer, (1998)