AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
  • BT
    PROBLEM SOLVING + PLAN GENERATION + SEARCH (ARTIFICIAL INTELLIGENCE)
  • BT
    INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC)
  • UDC
    510.662,5
  • Descriptor GER
    AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
  • Descriptor FRE
    DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    BEWEISFÜHRUNG/AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
  • Variant GER
    AUTOMATISCHE DEDUKTIONSSYSTEME (MATHEMATISCHE LOGIK)
  • Variant GER
    DEDUKTIONSSYSTEME/AUTOMATISCHE DEDUKTIONSSYSTEME (MATHEMATISCHE LOGIK)
  • Variant GER
    PROGRAMMUNTERSTÜTZTE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
  • Variant GER
    BEWEISFÜHRUNG/PROGRAMMUNTERSTÜTZTE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
  • Variant GER
    AUTOMATISCHE DEDUKTIVE SYSTEME (MATHEMATISCHE LOGIK)
  • Variant ENG
    THEOREM PROVING/AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
  • Variant ENG
    PROVING/AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
  • Variant ENG
    AUTOMATED DEDUCTION (MATHEMATICAL LOGIC)
  • Variant ENG
    DEDUCTION/AUTOMATED DEDUCTION (MATHEMATICAL LOGIC)
  • Variant ENG
    AUTOMATED REASONING (MATHEMATICAL LOGIC)
  • Variant ENG
    REASONING/AUTOMATED REASONING (MATHEMATICAL LOGIC)
  • Variant ENG
    COMPUTER-AIDED REASONING (MATHEMATICAL LOGIC)
  • Variant ENG
    REASONING/COMPUTER-AIDED REASONING (MATHEMATICAL LOGIC)
  • Variant ENG
    COMPUTER ASSISTED PROOFS (MATHEMATICAL LOGIC)
  • Variant ENG
    PROOFS/COMPUTER ASSISTED PROOFS (MATHEMATICAL LOGIC)
  • Variant ENG
    MECHANICAL THEOREM PROVING (MATHEMATICAL LOGIC)
  • Variant ENG
    AUTOMATED DEDUCTIVE SYSTEMS (MATHEMATICAL LOGIC)
  • Variant FRE
    AUTOMATIQUE/DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    DÉDUCTION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    AUTOMATIQUE/DÉDUCTION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    RAISONNEMENT AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    AUTOMATIQUE/RAISONNEMENT AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    SYSTÈMES DÉDUCTIFS AUTOMATIQUES (LOGIQUE MATHÉMATIQUE)
  • NT
    SUBSUMPTION (MATHEMATICAL LOGIC)
Contact
·
Last data import from Alma: 1 January 2025