Hochschule Trier
- +49 651/8103-0
- +49 651/8103-333
- info@hochschule-trier.de
Bläsius, Karl Hans; Raph, Karl Mark G.
The Markgraf Karl Refutation Procedure („Karl Mark G. Raph“ ist Synonym für alle Mitarbeiter des Deduktionsprojektes)Interner Bericht. Fachbereich Informatik, Universität Kaiserslautern. 1984
Threuter, Christina; Voigt, Martina
Utopie: ein Ausflug in die PhantasieWohnen und Nachbarschaft. Ideen, Erfahrungen, Vorschläge. H. 19. 1984 S. 52 - 57
Grefe, Cord
Vergleichende Analyse der Publizitätsbefreiungen (quasi-)eingegliederter Gesellschaften nach künftigem BilanzrechtBetriebs-Berater : BB. Bd. 39. München u.a.: Beck 1984 S. 184 - 190
Gemmar, Peter; Palomino, F.
Anforderungen an Verarbeitungsstrukturen für die BildverarbeitungElektronische Rechenanlagen. 25. Aufl. H. 1. 1983 S. 3 - 11
Bläsius, Karl Hans
Equality Reasoning in Clause GraphsProceedings International Joint Conference on Artificial Intelligence. 1983
Linn, R.
Kompositionsvollständigkeit von Algebren mit (m,n)-stelligen OperationenGiessen: Selbstverl. des Math. Inst. 1983 115 S. (Mitteilungen aus dem Mathematischen Seminar Giessen ; 160)
Kuhn, Elvira; Müller, E.
Programmdokumentation, Gesellschaft für Informatik, Fachgruppe Software-EngineeringFachgespräch 9./10. Juni 1983. Firma Porsche in Softwaretechnik-Trends, Siemens AG/ ZT ZFA QA2. 1983
Gemmar, Peter
Prozessoren und Systeme für die BildverarbeitungVDE - Fachberichte. Berlin - Offenbach: VDE - Verlag 1983 S. 179 - 196
Gemmar, Peter
Image Correlation: Processing Requirements and Implementation Structures on a Flexible Image Processing System (FLIP)Multicomputers and Image Processing – Algorithms and Programs, K. Preston jr., L. Uhr. Academic Press 1982 S. 87 - 98
Gemmar, Peter; Ischen, H.; Lütjen, K.
A Flexible Image Processing SystemProceedings Pattern Recognition, Vol. 2. H. 2. 1981 S. 326