Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
Herbrand Sequent Extraction
Formal proofs of interesting mathematical theorems are usually too large andfull of trivial structural information and hence hard to understand andanalyze. T... »
Formal proofs of interesting mathematical theorems are usually too large andfull of trivial structural information and hence hard to understand andanalyze. T... »
Levenshtein Distance
Information theory, Computer science, String (computer science), String metric, Damerau-Levenshtein distance, Spell checker, Hamming distance »
Information theory, Computer science, String (computer science), String metric, Damerau-Levenshtein distance, Spell checker, Hamming distance »
