TY - BOOK ID - 6549101 TI - Symposium on Logic programming : September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah AU - Keller, Robert M. AU - Symposium on logic programming : AU - IEEE Computer Society PY - 1986 SN - 0818607289 9780818607288 PB - Los Alamitos : IEEE Computer Society Press, DB - UniCat KW - Logic programming KW - -681.3*I23 KW - Computer programming KW - Congresses 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*I23 KW - Ieee KW - Proceedings UR - https://www.unicat.be/uniCat?func=search&query=sysid:6549101 AB - ER -