TY - BOOK ID - 114002250 TI - Intelligence artificielle : application à l'analyse de programmes PY - 1984 SN - 2225804710 9782225804717 PB - Paris Masson DB - UniCat KW - 681.3*I22 KW - 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} KW - Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} KW - Programmation (Informatique) KW - Intelligence artificielle UR - https://www.unicat.be/uniCat?func=search&query=sysid:114002250 AB - ER -