TY - BOOK ID - 5055148 TI - Logic programming : proceedings of the fourth international conference : [held at Melbourne university, May 25-29, 1987] AU - Lassez, Jean-Louis AU - International conference on logic programming. PY - 1987 SN - 0262121255 9780262121255 PB - Cambridge (MA) London : MIT Press, DB - UniCat KW - Logic programming KW - Programmation logique KW - Congresses KW - Congrès KW - 681.3*I23 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 - Congrè€s KW - Proceedings KW - Logic-programming-congress UR - https://www.unicat.be/uniCat?func=search&query=sysid:5055148 AB - ER -