Choose an application

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

Automatic theorem proving --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Automatic theorem proving. --- Logic, Symbolic and mathematical. --- Computer science --- Informatique --- Théorèmes --- Démonstration automatique --- Logic Computation --- Symbolic Computation --- Mathematical Logic

Choose an application

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

wiskunde --- Mathematics --- Algebra, Abstract --- Combinatorial analysis --- Logic, Symbolic and mathematical --- Outlines, syllabi, etc --- -Combinatorial analysis --- -Logic, Symbolic and mathematical --- -512.64 --- 681.3*G2 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Metamathematics --- Set theory --- Syllogism --- Combinatorics --- Algebra --- Mathematical analysis --- Abstract algebra --- Algebra, Universal --- Linear and multilinear algebra. Matrix theory --- Discrete mathematics (Mathematics of computing) --- Outlines, syllabi, etc. --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 512.64 Linear and multilinear algebra. Matrix theory --- 512.64 --- Algebra, Abstract - Outlines, syllabi, etc. --- Combinatorial analysis - Outlines, syllabi, etc. --- Logic, Symbolic and mathematical - Outlines, syllabi, etc.

Choose an application

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

Automatic theorem proving. --- Logic, Symbolic and mathematical. --- Mathematics --- Data processing. --- Théorèmes --- Démonstration automatique --- -681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Théorèmes --- Démonstration automatique --- Automatic theorem proving --- Logic, Symbolic and mathematical --- 681.3*I23 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Data processing --- Logic, symbolic and mathematical --- Mathématiques --- Logique symbolique et mathématique --- Informatique --- Intelligence artificielle --- Mathematics - Data processing --- proof --- Pattern Matching --- Theorem Proving

Choose an application

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

Programming --- Mathematical logic --- Programming languages (Electronic computers) --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- 681.3*D3 --- 681.3*F31 --- 681.3*F41 --- 681.3*I2 --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Programming languages --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 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. AI --- Logic, Symbolic and mathematical. --- Programming languages (Electronic computers). --- 681.3*I2 Artificial intelligence. AI --- 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} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D3 Programming languages --- Logic programming --- Specification --- proof --- Learning