Kleine Büning, Hans 1948-
Kleine Büning, Hans.
Kleine Büning, H. (Hans)
Kleine Büning, H.
VIAF ID: 109885381 ( Personal )
Permalink: http://viaf.org/viaf/109885381
Preferred Forms
- 200 _ | ‡a Kleine Büning ‡b Hans ‡f 1948-....
- 100 1 _ ‡a Kleine Büning, H. ‡q (Hans)
-
-
-
- 100 1 _ ‡a Kleine Büning, Hans ‡d 1948-
- 100 1 _ ‡a Kleine Büning, Hans, ‡d 1948-....
-
- 100 1 _ ‡a Kleine Büning, Hans
-
- 100 1 _ ‡a Kleine Büning, Hans ‡d 1948-
-
4xx's: Alternate Name Forms (16)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Aussagenlogik deduktion und Algorithmen | |
Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 ; selected papers | |
CSL '89 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings | |
CSL'95 | |
Identifying behavior models for hybrid production systems | |
Inconsistency of production systems | |
Learning and coordination in sequential multiagent problems | |
Local strategies for robot formation problems | |
Modellierung Grundlagen und formale Methoden | |
Multi-criteria cooperation in multiagent systems by local adaptation | |
New aspects and applications of resource based configuration | |
On the computational complexity of quantified Horn clauses | |
Projections of vector addition system ... 1988: | |
PROLOG Grundlagen u. Anwendungen | |
Propositional logic deduction and algorithms | |
resolution method for quantified Boolean formulas | |
SAT 2008 | |
Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings | |
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems | |
Towards average complexity of propositional binary prolog programs | |
Über Probleme bei homogener Parkettierung von Z × Z durch Mealy-Automaten bei normierter Verwendung | |
Vision based tracking in team sports | |
Wissensbasierte Systeme elektronische Weiterbildung unter Windows | |
Workshop "Logik in der Informatik" May 25 - 27, 1994, Universität of Paderborn |