Listing 1 - 1 of 1 |
Sort by
|
Choose an application
Programming --- Logic programming --- 681.3*D3 --- 681.3*I23 --- 681.3*I24 --- Computer programming --- Programming languages --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*D3 Programming languages --- meta programming --- Proceedings
Listing 1 - 1 of 1 |
Sort by
|