35 results on '"Rhode M"'
Search Results
2. Adjunktionen
3. Universelle Konstruktionen
4. Funktoren und natürliche Transformationen
5. Produkte und Coprodukte
6. Prädikatenlogische Formeln und Gültigkeit
7. Isomorphie, Mono- und Epimorphismen
8. Substitution und Umbenennung
9. Aussagenlogische Hilbert-Kalküle
10. Kategorien in Mathematik und Informatik
11. Prädikatenlogische Hilbert-Kalküle
12. Folgerung und logische Äquivalenz
13. Aussagenlogische Sequenzenkalküle
14. Das Resolutionsverfahren
15. Folgerung
16. Aussagenlogische Formeln und Gültigkeit
17. Logische Äquivalenz
18. Datenstrukturen
19. Termalgebren
20. Homomorphismen
21. Ordnungen
22. Signaturen und Algebren
23. Algebraische Spezifikationen
24. Abbildungen
25. Äquivalenzrelationen
26. Terme und strukturelle Induktion
27. Relationen
28. Mengen
29. Comparison of Flask and Bag Systems in Cultivation of Dendritic Cells for Clinical Application
30. Einleitung
31. Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions
32. On the role of category theory in the area of algebraic specifications
33. Towards a formally based component description language
34. Transformation of combined data type and process specifications using projection algebras
35. Parameterized data type and process specifications using projection algebras
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.