Report copyright - Logic Programming - unideb.hu · Logic Programming •Based on automatic theorem proving. ... (logic) description of the problem. •Control: a theorem-proving strategy. •The problem
Please pass captcha verification before submit form
Please pass captcha verification before submit form