Suche
Kategorie
Erscheinungsjahr
89601 Treffer
×
Publikationen
×
Theologische Fakultät Trier
×
Universität Koblenz
×
Johannes Gutenberg-Universität Mainz
×
Technische Hochschule Bingen
×
Hochschule Kaiserslautern
- Sofronie-Stokkermans, Viorica
- Sheaves and geometric logic and applications to the modular verification of complex systems
- S. 1 - 30
- Sofronie-Stokkermans, Viorica
- Interpolation in local theory extensions
- S. 1 - 31
- Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
- Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
- S. 1 - 39
- Roth, A.
- Der Ausschluss der Vaterschaftsanfechtung nach Einwilligung in die heterologe Insemination (§ 1600 Abs. 2 BGB)
- DNotZ. Bd. DNotZ. S. 805 ff
- Sofronie-Stokkermans, Viorica
- On Interpolation and Symbol Elimination in Theory Extensions
- S. 1 - 41
- Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
- Automated Reasoning for Robot Ethics
- S. 1 - 5
- Veith, W.
- Zu einem Fünftel umeinig. Unterregeln, Spezifikationen, Kannbestimmungen: Ist eine Korrektur der Rechtschreibreform möglich?
- Die Welt 16.01.1997. Bd. Die Welt 16.01.1997. S. 10
- Veith, Werner H.; Veith, W. H.
- Das wahre Gesicht der Reform