01156nas 2200421-a 450 991089534040332120240810213015.0(DE-599)ZDB2507819-7(OCoLC)213892081(CKB)1000000000392012(CONSER)--2008252244(EXLCZ)99100000000039201220080325a20079999 --- -engur|||||||||||txtrdacontentcrdamediacrrdacarrierThe reasoner[Canterbury] University of Kent1757-0522 REASONERReasoningPeriodicalsInferencePeriodicalsInferencefast(OCoLC)fst00972355Reasoningfast(OCoLC)fst01091282Inférence (Logique)PériodiquesPeriodicals.fastReasoningInferenceInference.Reasoning.Inférence (Logique)University of Kent.JOURNAL9910895340403321The reasoner4246812UNINA