Widok standardowy
Widok MARC
Automatyczne dowodzenie twierdzeń. (Hasło przedmiotowe)
Forma odrzucona:
- Théoremes démonstration automatique [f]
- Automatic theorem proving [c]
- Dedukcja automatyczna.
- Dowodzenie automatyczne twierdzeń.
- Dowód automatyczny twierdzeń.
- Twierdzenia dowodzenie automatyczne.
- Twierdzenia dowód automatyczny.
Zobacz też:
- Hasło szersze: Sztuczna inteligencja
- Hasło szersze: Teoria dowodu.
- Hasło węższe: Sekwenty Gentzena.
RAMEAU
Encyclopedia of Arifical Intelligence. New York, 1987 (Wnioskowanie logiczne programów komputerowych obejmujące zarówno dowodzenie hipotez w matematyce, jak i wyprowadzanie wniosków w innych dziedzinach)