Entry Nazwa pospolita
Used in 11 records as subject heading
001 - CONTROL NUMBER
- control field: 192079
003 - CONTROL NUMBER IDENTIFIER
- control field: WA 392
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20200803002639.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 990907 ||a| nnbabn |a ana |c
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: s 99085403
040 ## - CATALOGING SOURCE
- Original cataloging agency: KR 93/MS
- Transcribing agency: WA U/IB
- Modifying agency: KR 93/MS
083 #4 - DEWEY DECIMAL CLASSIFICATION NUMBER
- Classification number element--single number or beginning number of span: 621
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Automatyczne dowodzenie twierdzeń.
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Dedukcja automatyczna.
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Dowodzenie automatyczne twierdzeń.
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Dowód automatyczny twierdzeń.
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Twierdzenia
- General subdivision: dowodzenie automatyczne.
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Twierdzenia
- General subdivision: dowód automatyczny.
472 ## -
- : Théoremes
- : démonstration automatique [f]
472 ## -
- : Automatic theorem proving [c]
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Sztuczna inteligencja.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Teoria dowodu.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Sekwenty Gentzena.
670 ## - SOURCE DATA FOUND
- Source citation: RAMEAU
670 ## - SOURCE DATA FOUND
- Source citation: Encyclopedia of Arifical Intelligence. New York, 1987
- Information found: (Wnioskowanie logiczne programów komputerowych obejmujące zarówno dowodzenie hipotez w matematyce, jak i wyprowadzanie wniosków w innych dziedzinach)