Formal methods in knowledge engineering / Manfriedus Wilhelmus Martinus Maria Aben

Formal methods in knowledge engineering / Manfriedus Wilhelmus Martinus Maria Aben