Eisinger, Norbert
Eisinger, Norbert 1953-
Norbert Eisinger Universität Kaiserslautern 1988
VIAF ID: 20006914 ( Personal )
Permalink: http://viaf.org/viaf/20006914
Preferred Forms
- 200 _ | ‡a Eisinger ‡b Norbert
- 100 1 0 ‡a Eisinger, Norbert
-
-
-
-
-
- 100 1 _ ‡a Eisinger, Norbert
- 100 1 _ ‡a Eisinger, Norbert
-
- 100 1 _ ‡a Eisinger, Norbert ‡d 1953-
- 100 0 _ ‡a Norbert Eisinger ‡c Universität Kaiserslautern 1988
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Completeness, confluence, and related properties of clause graph resolution, c1991: | |
Deduction systems based on resolution | |
Deduktionssysteme : Automatisierung des logischen Denkens / hrsg. von K. H. Bläsius und H.-J. Bürckert. - München ; Wien, 1987. | |
Markgraf Karl refutation procedure (1979) | |
pragmatic module concept for Interlisp | |
Reasoning web : first International Summer School 2005, Msida, Malta, July 25-29, 2005, tutorial lectures |