Search results for: Norbert Eisinger
Lecture Notes in Computer Science > Reasoning Web > Fundamentals of Reasoning and Reasoning Languages > 1-153
Lecture Notes in Computer Science > Web Reasoning and Rule Systems > Proof/Deduction Procedures > 71-86
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 351-368
Lecture Notes in Computer Science