LEADER 01156nas  2200421-a 450 
001 9910895340403321
005 20240810213015.0
035   $a(DE-599)ZDB2507819-7
035   $a(OCoLC)213892081
035   $a(CKB)1000000000392012
035   $a(CONSER)--2008252244
035   $a(EXLCZ)991000000000392012
100   $a20080325a20079999  ---         -
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 04$aThe reasoner
210   $a[Canterbury] $cUniversity of Kent
311   $a1757-0522 
531   $aREASONER
606   $aReasoning$vPeriodicals
606   $aInference$vPeriodicals
606   $aInference$2fast$3(OCoLC)fst00972355
606   $aReasoning$2fast$3(OCoLC)fst01091282
606   $aInférence (Logique)$vPériodiques
608   $aPeriodicals.$2fast
615  0$aReasoning
615  0$aInference
615  7$aInference.
615  7$aReasoning.
615  6$aInférence (Logique)
712 02$aUniversity of Kent.
906   $aJOURNAL
912   $a9910895340403321
996   $aThe reasoner$94246812
997   $aUNINA