Bürckert, Hans-Jürgen.
Bürckert, H.-J. (Hans-Jürgen)
Bürckert, H.-J
VIAF ID: 72040131 ( Personal )
Permalink: http://viaf.org/viaf/72040131
Preferred Forms
-
- 100 1 0 ‡a Bürckert, H.-J. ‡q (Hans-Jürgen)
- 100 1 _ ‡a Bürckert, Hans-Jürgen
-
- 100 1 _ ‡a Bürckert, Hans-Jürgen
-
- 100 1 _ ‡a Bürckert, Hans-Jürgen
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Deduction systems in artificial intelligence | |
Deduktionssysteme, 1987: | |
A resolution principle for a logic with restricted quantifiers |