Reihe Lecture Notes in Artificial IntelligenceMarco Cadoli × Tractable Reasoning in Aritificial Intelligence Marco CadoliSpringer BerlineBook2005 Tractable Reasoning in Aritificial Intelligence Marco CadoliSpringer BerlinSoftcover1995