TY - BOOK ID - 2387136 TI - Logic programming : proceedings of the seventh International conference AU - Warren, David H. D. AU - International conference on logic programming (07th : 1990 : Jerusalem) PY - 1990 VL - vol *6 SN - 0262730901 9780262730907 PB - Cambridge, Mass.: MIT Press, DB - UniCat KW - 681.3*I22 KW - 681.3*I23 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 - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) 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 - Logic programming KW - Programmation logique KW - Congresses KW - Congrès KW - Logic programming - Congresses. KW - Logic-programming-congress UR - https://www.unicat.be/uniCat?func=search&query=sysid:2387136 AB - ER -