| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ingo Dahn, Sascha Zimmermann |
Application Profiles and Tailor-Made Conformance Test Systems.  |
Int. J. IT Standards and Standardization Res.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kirkham, Ingo Dahn, David Chadwick, Marc Santos, Sandra Winfield |
Aggregating policies in user centric, real-time and distributed applications. |
ICITST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ingo Dahn |
eEDS - open specifications facilitate European academic exchange. |
Elektrotechnik und Informationstechnik |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Da Bormida, Marco Di Girolamo, Ingo Dahn, Elena Murelli |
An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services. |
EDUTECH |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ingo Dahn, Laurent Vigneron |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Dahn |
Developing a Service Based Architecture in the Mobilearn E-Learning Project. |
LeGE-WG 3 |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ingo Dahn |
Software Interoperability Problems and E-Learning. |
LeGE-WG 2 |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ingo Dahn |
Management of Informal Mathematical Knowledge ? Lessons Learned from the Trial-Solution Project. |
Electronic Information and Communication in Mathematics |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas |
Automated Deduction: a Technological Point of View. |
KI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ingo Dahn |
Interpretation of a Mizar-Like Logic in First-Order Logic. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf |
Integration of Automated and Interactive Theorem Proving in ILP. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Dahn |
Publikation mathematischer Texte im Internet. |
Herausforderungen an die Wissensorganisation (ISKO Tagung) |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bernd I. Dahn, Andreas Wolf |
Natural Language Presentation and Combination of Automatically Generated Proofs. |
Frontiers of Combining Systems (FroCos) |
1996 |
DBLP BibTeX RDF |
|
| 1 | Bernd I. Dahn, Andreas Wolf |
A Calculus Supporting Structured Proofs. |
Elektronische Informationsverarbeitung und Kybernetik |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bernd I. Dahn |
Boolean Valued Models and Incomplete Specifications. |
J. Log. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd I. Dahn, Theodor Lettmann, Wolfgang Schönfeld |
ILFA Interface Concept |
IWBS Report |
1991 |
RDF |
|
| 1 | Bernd I. Dahn |
On Test Classes for Universal Theories. |
CSL |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd I. Dahn, Wolfgang Lenski |
Universally Generic Ordered Abelian Groups with Two Generators. |
Easter Conference on Model Theory |
1989 |
DBLP BibTeX RDF |
|
| 1 | Bernd I. Dahn |
On Test Classes for Universal Theories. |
Easter Conference on Model Theory |
1989 |
DBLP BibTeX RDF |
|
| 1 | Bernd I. Dahn |
Boolean Valued Models and Incomplete Specifications. |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")