Report - RECURSIVE (McCARTHY) PROGRAMS - UCLAynm/rc/chap2.pdfCHAPTER 2 RECURSIVE (McCARTHY) PROGRAMS Recursive programs are deterministic versions of the classical Herbrand-Go¨del-Kleene systems

Please pass captcha verification before submit form