| Andere über http://immanuel.normann.meinguter.name |
Stahnke
2008-01-31 01:01:00: Neben den Wissenschaftlern Rolf Bader, Immanuel Normann, Klaus Obermayer, Hendrik Purwins und Albrecht Schneider sind hier Komponisten versammelt, die sich intensiv ... |
DBLP: Lassaad Cheikhrouhou
2008-01-09 05:01:00: ... Vladimir Brezhnev , Lassaad Cheikhrouhou, Armin Fiedler , Andreas Franke , Helmut Horacek , Michael Kohlhase , Andreas Meier , Erica Melis , Markus Moschner , Immanuel Normann , Martin ... |
Hackers and Painters
2006-06-25 07:06:00: Whatever, I remembered a chat with Immanuel Normann after the match "Netherlands - Cote d'Ivoire" talking about Lisp and all the stuff on programming languages. Finally, I recommended the book "Hackers and Painters" by Paul Graham, ... |
Ton und Prozess
0000-00-00 00:00:00: 19. 4. David Lidov (Komponist, York Universität, Toronto) ... 07.06 Immanuel Normann (Physiker, IU Bremen), Hendrik Purwins (Mathematiker, TU Berlin) ... |
Virtuelle Saar Universität: MMiSS
0000-00-00 00:00:00: AUDIT Beruf und Familie. Bildungsnetzwerk BuT. Hochschule - Wirtschaft. CLIX ... Hutter, Dr. Erica Melis, Serge Autexier, Carsten Ullrich, Immanuel Normann ... |
TeXmacs Entwickler (FSF GNU project)
0000-00-00 00:00:00: David Allouche ersetzte den gencc Präprozessor durch das Standard C++ Template-System. ... Immanuel Normann arbeitet an einem OpenMath Konvertierer. ... |
HfMT - Überblick & Allgemeines
0000-00-00 00:00:00: Die neue Schriftenreihe wird von Hanns-Werner Heister und Wolfgang Hochstein ... Lemke, Hendrik Purwins, Immanuel Normann, Klaus Obermayer, Albrecht Schneider, ... |
Jacobs University Bremen: Immanuel Norman
0000-00-00 00:00:00: Immanuel Normann. Print version. Graduate Student (CS) School of Engineering and Science ... For all inquiries, The university may be contacted at phone no +49 ... |
Manfred Stahnke - Veroeffentlichungen
0000-00-00 00:00:00: Veroeffentlichungen von Manfred Stahnke ... Beiträge zu aktuellen Fragen aus ... Hendrik Purwins, Immanuel Normann und Klaus Obermayer: Unendlichkeit ... |
DBLP: Vladimir Brezhnev
0000-00-00 00:00:00: Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo ... Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, ... |
AISC 2006
0000-00-00 00:00:00: Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio: ... Immanuel Normann: Enhanced Theorem Reuse by Partial Theory Inclusions. 40-52 ... |
Smart Systems Faculty
0000-00-00 00:00:00: Andreas Birk (Professor of Computer Science ROB) ... Herbert Jaeger (Professor of ... Immanuel Normann (Ph.D. student Michael Kohlhase) Andreas Pfeil ... |
Re: scsh vs. scheme48 socket
0000-00-00 00:00:00: scsh vs. scheme48 socket, Immanuel Normann. Re: scsh vs. scheme48 socket, Martin Gasbichler ... Re: scsh vs. scheme48 socket, Immanuel Normann. Previous by Thread: ... |
Peter Baumann
0000-00-00 00:00:00: My research interests focus on the area of large multi-dimensional array ... Immanuel Normann: Mathematical Information Retrieval Powered by Theory Management. ... |
Integrating Computer Algebra with Proof Planning
0000-00-00 00:00:00: Immanuel Normann. Frank Pfenning. Manfred Pinkal. Martin Pollet. Richts Richts. Wolf Schaarschmidt ... Immanuel Normann. Martin Pollet. Martin Pollet. Wolf ... |
AISC 2006
0000-00-00 00:00:00: Beihang University, Beijing, China September 20-22, 2006 ... Enhanced Theorem Reuse by Partial Theory Inclusions by Immanuel Normann ... |
AISC 2006
0000-00-00 00:00:00: Beihang University, Beijing, China September 20-22, 2006 ... Enhanced Theorem Reuse by Partial Theory Inclusions by Immanuel Normann. 18:00- Reception Dinner ... |
Human-Adaptive Determination of Natural Language Hints
0000-00-00 00:00:00: Human-Adaptive Determination of Natural Language Hints. Dimitra Tsovaltzi ... hints explicit and allowing for the ... Immanuel Normann, Martin Pollet, Volker ... |
DBLP: Erica Melis
0000-00-00 00:00:00: Coauthor Index - Ask others: ACM DL - ACM Guide - CiteSeer - CSB - Google. Home Page ... Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, ... |
Mathematical Knowledge Management 2007
0000-00-00 00:00:00: mkm 2007, risc, hagenberg, austria ... Mathematical User-Interfaces Workshop 2007 (MathUI07) 8th ... 17:15-17:45: [Talk 14] Immanuel Normann, Michael Kohlhase: ... |
Lecture Notes in Artificial Intelligence 4790
0000-00-00 00:00:00: Subseries of Lecture Notes in Computer Science. Nachum ... Immanuel Normann. Albert Oliveras. Joel Ouaknine. Gabriele Puppis. David Parker. Nicolas Peltier ... |
BibSonomy::author::Normann
0000-00-00 00:00:00: Immanuel Normann and Michael Kohlhase Calculemus/MKM 356-370 (2007) ... Melis and Markus Moschner and Immanuel Normann and Martin Pollet and Volker ... |
""" buch.de - bücher - versandkostenfrei - Mikrotöne und mehr ...
0000-00-00 00:00:00: Mikrotöne und mehr ... Auf György Ligetis Hamburger Pfaden Titel führen wir ... Analyse • Hendrik Purwins, Immanuel Normann und Klaus Obermayer: Unendlichkeit ... |
TU Berlin, Fakultaet IV - Elektrotechnik und Informatik
0000-00-00 00:00:00: 12. Januar 2004, Martin Supper (Musikwissenschaftler, UdK Berlin) ... 7. Juni 2004, Immanuel Normann, Hendrik Purwins (Physiker, IU Bremen/Mathematiker, TU Berlin) ... |
DBLP: Immanuel Normann
0000-00-00 00:00:00: Immanuel Normann, Michael Kohlhase: Extended Formula Normalization for epsilon ... Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, ... |
OMDoc/document ontology - MathWeb
0000-00-00 00:00:00: the OWL-DL implementation of the ontology itself, in the OMDoc Subversion repository ... Immanuel Normann. Heinrich Stamerjohanns ... |
DBLP: Immanuel Normann
0000-00-00 00:00:00: Immanuel Normann List of publications from the DBLP Bibliography Server - FAQ Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo 2007 3EEImmanuel Normann, Michael K |
CV of Hendrik Purwins
0000-00-00 00:00:00: musicnet.cgi" text="#FFFFFF" bgcolor="#000000" link="#99FFFF" vlink="#FF66FF" alink="#00FFCC"> Hendrik Purwins Contact Educ |
Proof Development with Omega-MEGA
0000-00-00 00:00:00: |
IdentityPage von http://immanuel.normann.meinguter.name