Normal view
MARC view
Automatyczne dowodzenie twierdzeń. (Nazwa pospolita)
Used in
11 records as subject heading
Used for/see from:
- Dedukcja automatyczna.
- Dowodzenie automatyczne twierdzeń.
- Dowód automatyczny twierdzeń.
- Twierdzenia dowodzenie automatyczne.
- Twierdzenia dowód automatyczny.
- Théoremes démonstration automatique [f]
- Automatic theorem proving [c]
See also:
- Broader heading: Sztuczna inteligencja.
- Broader heading: Teoria dowodu.
- Narrower heading: 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)