Concepedia

Norbert Fisinger

NF

Statistics

Publications

2

Citations

59

H-Index

2

Active since

1981

Affiliations

Karlsruhe Institute of Technology(Current)

Norbert Fisinger is an author at Karlsruhe Institute of Technology specializing in theorem proving, computer science, and formal methods.

Publications per year

1981–1981

2

Publications

2

The Markgraf Karl refutation procedure

K. H. Bläsius, Norbert Fisinger, Jörg H. Siekmann et al. · International Joint Conference on Artificial Intelligence · 1981 · 37 citations

, , +13

Subsumption and connection graphs

Norbert Fisinger · International Joint Conference on Artificial Intelligence · 1981 · 22 citations

, , +7

1–2 of 2