Report copyright - Reasoning about Arrays - Stanford CS Theorytheory.stanford.edu/~arbrad/slides/arrays.pdf · History • 1962: John McCarthy formalizes arrays as first-order theory TA. • 1969:
Please pass captcha verification before submit form
Please pass captcha verification before submit form