Waubonsee Community College

Théorèmes + démonstration automatique

Type

http://bibfra.me/vocab/lite/Concept

Label

Théorèmes + démonstration automatique

Name

Théorèmes + démonstration automatique

Source

ram

Focus

Théorèmes + démonstration automatique

Sub focus

Actions

Incoming Resources

Subject of
1
- Symbolic logic and mechanical theorem proving, [by] Chin-liang Chang [and] Richard Char-Tung Lee

Outgoing Resources

Focus
1
- Théorèmes + démonstration automatique
Sub focus
2
- Théorèmes
- démonstration automatique