[Lecture Notes in Computer Science] High-Performance Computing and Networking Volume 796 || Elektrosmog & electromagnetic CAD
- 作者Gentzsch, Wolfgang; Harms, Uwe
- 文件大小365.77KB
- 发表时间1994
- DOI10.1007/bfb0020354
- 页码94-98
同作者推荐
Link inheritance in abstract clause graphsHans Jürgen Ohlbach · 1987
Elimination of Self-Resolving ClausesHans Jürgen Ohlbach · 1998
Thorough refereeingGABBAY, DOV; OHLBACH, HANS JÜRGEN; de QUEIROZ, RUY · Logic Journal of IGPL · 1994
Calendar LogicOhlbach, Hans Jürgen; Gabbay, Dov · Journal of Applied Non-Classical Logics · 1998
A note on assumptions about Skolem functionsHans Jürgen Ohlbach; Christoph Weidenbach · 1995
The Possibility of Generating True ConjecturesOHLBACH, HANS JÜRGEN; SCHMIDT, RENATE · Journal of Logic and Computation · 1993
Design Patterns für mathematische Beweise ||Ohlbach, Hans Jürgen; Eisinger, Norbert · 2017
Modal logics, description logics and arithmetic reasoningHans Jürgen Ohlbach; Jana Koehler · 1999