C# (CSharp) AIMA.Test.Core.Unit.Logic.FOL Пространство имен

Пространства имен

AIMA.Test.Core.Unit.Logic.FOL.KB
AIMA.Test.Core.Unit.Logic.FOL.Parsing

Имя	Описание
CNFConverterTest
CommonFOLInferenceProcedureTests
PredicateCollectorTest
SubstVisitorTest
SubsumptionEliminationTest
UnifierTest
VariableCollectorTest