|
B
Backhouse, 207 , 479
backtracking, 128 , 130 , 139 , 140 , 150 , 151 , 153 , 181 , 222 , 223 , 244 , 248 , 249 , 353 , 377 , 393 , 397 , 431 , 435 , 436 , 449
Backus, 18 , 479
backward chaining, v, vi, 140 , 220 , 221 , 222
Baeten, 32 , 479
Barendregt, 7 , 166 , 169 , 480
base case, 37 , 38
base types, 195
benchmarks, 15 , 399
Bendix, 32 , 486
Bergstra, 32 , 479
Bibel, 480 , 485 , 489
binary, 57 , 451
bind, 157 , 216 , 239 , 301 , 347 , 352 , 356 , 379 , 380 , 385 , 386 , 387 , 398 , 399 , 433 , 447 , 448 , 449 , 450
binding vector, 376 , 377
bindings, 343 , 428
boolean, 20 , 23 , 24 , 161 , 167 , 177 , 195 , 202 , 226 , 405 , 420 , 421 , 422 , 423 , 425 , 427 , 430 , 440 , 452 , 454 , 455 , 456 , 457 , 459 , 465 , 468 , 470
Boolos, 18 , 161 , 480
bound, 4 , 21 , 156 , 157 , 158 , 160 , 167 , 169 , 419
Boyer-Moore, 480
Boyle’s Law, 5 , 6
Bratko, 361 , 481
B-rules, 431
bubble sort, 66 , 73 , 74 , 75 , 79
Bundy, 32 , 481
Burstall, 46 , 481
byte, 86 , 104 , 172
bytes, xiv, 106 , 278 , 279 , 280 , 282 , 288 , 462 , 469
|
|
