Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
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 »
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... »
