|
K
Kac, 47 , 485
kernelisation, 477
Kernighan, 485
Kesner, 481
key, 21 , 46 , 64 , 90 , 115 , 244 , 365 , 376 , 378 , 389 , 393 , 395 , 401
Khowarizmi, 2
Knight, 486
knight's tour, 138
Knuth, 27 , 32 , 79 , 486
Knuth-Bendix, 27 , 32
Kowalski, 338
Kripke, 486
Kλ, vi, ix, xii, 16 , 17 , 23 , 109 , 141 , 155 , 170 , 171 , 172 , 173 , 175 , 176 , 178 , 181 , 182 , 183 , 184 , 204 , 205 , 249 , 326 , 329 , 330 , 337 , 338 , 381 , 403 , 411 , 412 , 413 , 414 , 415 , 455 , 460 , 462 , 476 , 477 , 478
Kλ+, 411 , 412 , 414 , 415
|
|
