Concepedia
Annual Review in Automatic Programming · 1969 · 88 citations · 0 references
ComputingComputer EngineeringComputer ScienceAlgorithmsArtificial IntelligenceMachine LearningDeductive VerificationModel CheckingNeural NetworksReinforcement LearningChecksum Algorithms