Search results for: Norbert Preining
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 113-123
Soft Computing > 2017 > 21 > 1 > 191-197
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 30-51
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 327-336
Theoretical Computer Science > 2011 > 412 > 47 > 6612-6623
Annals of Pure and Applied Logic > 2007 > 147 > 1-2 > 23-47