DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
  • BT
    KÜNSTLICHE INTELLIGENZ
  • UDC
    004*08*02*04
  • Descriptor GER
    DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
  • Descriptor ENG
    DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE)
  • Descriptor FRE
    DÉDUCTION + DÉMONSTRATION DE THÉORÈMES (INTELLIGENCE ARTIFICIELLE)
  • Variant GER
    DEDUKTION (KÜNSTLICHE INTELLIGENZ)
  • Variant GER
    BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
  • Variant GER
    THEOREME/BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
  • Variant ENG
    DEDUCTION (ARTIFICIAL INTELLIGENCE)
  • Variant ENG
    THEOREM PROVING (ARTIFICIAL INTELLIGENCE)
  • Variant ENG
    PROVING/THEOREM PROVING (ARTIFICIAL INTELLIGENCE)
  • Variant FRE
    DÉMONSTRATION DE THÉORÈMES (INTELLIGENCE ARTIFICIELLE)
  • Variant FRE
    THÉORÈMES/DÉMONSTRATION DE THÉORÈMES (INTELLIGENCE ARTIFICIELLE)
Contact
·
Last data import from Alma: 1 January 2025