Vladimir Lifschitz · 9 obras en el catálogoObrasLogic programmingAArtificial intelligence and mathematical theory of computatiArtificial intelligence and mathematical theory of computationHandbook of knowledge representationAnswer Set ProgrammingLogic Programming and Nonmonotonic ReasoningLLogical Formalizations of Commonsense ReasoningLogical Formalizations of Commonsense ReasoningAArtificial and Mathematical Theory of ComputationArtificial and Mathematical Theory of ComputationFFormalizing common senseFormalizing common senseMMechanical theorem proving in the USSRMechanical theorem proving in the USSR
AArtificial intelligence and mathematical theory of computatiArtificial intelligence and mathematical theory of computation