Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Expert systems (Computer science) --- Systèmes experts (Informatique) --- CLIPS (Computer program language) --- Rule-based programming --- 681.3 --- Rule-based methods (Computer science) --- Computer programming --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Artificial intelligence --- Computer systems --- Soft computing --- Programming languages (Electronic computers) --- Computer science --- Systèmes experts (Informatique) --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / /

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence. Robotics. Simulation. Graphics --- Expert systems (Computer science) --- Logic programming --- Systèmes experts (Informatique) --- Programmation logique --- Knowledge representation (Information theory) --- 681.3*I24 --- Computer programming --- Representation of knowledge (Information theory) --- Artificial intelligence --- Information theory --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Computer systems --- Soft computing --- 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) --- Systèmes experts (Informatique) --- Logic programming. --- Expert systems (computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Numerical analysis --- Computer science --- Engineering mathematics --- Object-oriented programming (Computer science) --- Data processing --- Congresses. --- -Object-oriented programming (Computer science) --- -#TELE:MI2 --- 681.3*I24 --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Engineering --- Engineering analysis --- Mathematical analysis --- -Congresses --- Case studies --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Mathematics --- 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) --- #TELE:MI2 --- Data processing&delete& --- Congresses --- Engineering mathematics - Data processing - Congresses. --- Object-oriented programming (Computer science) - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

681.3*H2 --- 681.3*D1 --- 681.3*H24 --- 681.3*I2 --- 681.3*I24 --- 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) --- 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*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*H24 Systems: concurrency distributed systems query processing transaction processing (Database management) --- Systems: concurrency distributed systems query processing transaction processing (Database management) --- 681.3*D1 Programming techniques--See also {681.3*E} --- Programming techniques--See also {681.3*E} --- 681.3*H2 Database management: security integrity protection--See also {?681.5*E5} --- Database management: security integrity protection--See also {?681.5*E5} --- Object-oriented databases. --- 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) --- 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*H24 Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Database management: security; integrity; protection--See also {?681.5*E5} --- Information systems --- Database management --- Object-oriented databases

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence. Robotics. Simulation. Graphics --- Logic, symbolic and mathematical --- Sorting (Electronic computers) --- 681.3*F41 --- 681.3*I23 --- 681.3*I24 --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 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*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Artificial intelligence. --- Computer science. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Logique mathématique. --- Logic, Symbolic and mathematical --- Calcul formel --- Mathematics --- Data processing --- Computer science --- Informatique --- Programming. --- Programmation. --- Langages formels --- Formal languages