Meintest du:
Formalization7 Ergebnisse für: formalisation
-
Homepage of Christoph Benzmueller
http://page.mi.fu-berlin.de/cbenzmueller/
Keine Beschreibung vorhanden.
-
Jahrbuch für Computerphilologie 10. Inhaltsverzeichnis
http://computerphilologie.tu-darmstadt.de/jahrbuch/jb10-content.html
Keine Beschreibung vorhanden.
-
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg ... - Google Books
https://books.google.de/books?id=vfNKx4hCxAkC&dq=Lemma+von+Arden&hl=de&source=gbs_navlinks_s
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected…
-
Goethe-Universität — Zur Person
http://www.jura.uni-frankfurt.de/42877983/Zur-Person
Die Goethe-Universität ist eine forschungsstarke Hochschule in der europäischen Finanzmetropole Frankfurt. Lebendig, urban und weltoffen besitzt sie als Stiftungsuniversität ein einzigartiges Maß an Eigenständigkeit.
-
EZFF: Jahrbuch des Föderalismus: Autoren-Netzwerk: von Bergmann-Winberg
https://web.archive.org/web/20140728083701/http://www.uni-tuebingen.de/uni/qxf/autoren-netzwerk_von_bergmann-winberg.html
Homepage des Europäischen Zentrums für Föderalismus-Forschung (EZFF), Tübingen
-
Histoire du badminton: du jeu de volant au sport olympique - Jean-Yves Guillain - Google Books
https://books.google.de/books?id=ENTpCy2I6rYC&pg=PA63#v=onepage
Le badminton dérive du t'su-chü, jeu de football chinois, né 2500 avant Jésus-Christ et pratiqué par des soldats pour renforcer leur habileté. Il s'agissait à l'époque de renvoyer le volant avec le pied. Peu à peu, le jeu abandonnera son caractère…
-
Friedrich Ebert Stiftung: Digitale Bibliothek der Friedrich-Ebert-Stiftung
http://library.fes.de/cgi-bin/populo/digbib.pl?&f_ABC=suedafrika&t_listen=x&sortierung=jab
Keine Beschreibung vorhanden.