Horst Friedrich
According to our database1,
Horst Friedrich
authored at least 9 papers
between 1984 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Argument Comput., 2018
2017
Proceedings of the Tagungsband der 9. Konferenz Professionelles Wissensmanagement (Professional Knowledge Management), 2017
Proceedings of the 17th Workshop on Computational Models of Natural Argument co-located with ICAIL 2017, 2017
2005
1999
Der Weg zum Projekterfolg - Management objektorientierter Software-Entwicklungsprojekte.
HMD Prax. Wirtsch., 1999
1997
Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997
1993
A Practical Approach to Type Inference for EuLisp.
LISP Symb. Comput., 1993
1992
Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP.
Künstliche Intell., 1992
1984
Programmverifikation unter Verwendung der formalisierten Darstellung der algorithmischen Idee.
PhD thesis, 1984