2 wyniki
Rekord wzorcowy
Automatyczne dowodzenie twierdzeń (hasło przedmiotowe)
zob. też Dowód (hasło przedmiotowe) ; Inteligencja sztuczna (hasło przedmiotowe)
Nieużywane formy hasła: Automatyczne wnioskowanie ; Metody automatycznego wnioskowania ; Rezolucja (mat.) ; Zasada rezolucji
Pozostałe zbiory
W koszyku
Automatyczne dowodzenie twierdzeń / Zdzisław Pawlak. - Warszawa : Państwowe Zakłady Wydaw. Szkolnych, 1965. - 147, [1] s. : il. ; 22 cm.
(Biblioteczka Matematyczna PZWS i Czasopisma Matematyka ; 19)
Tematyka: Automatyczne dowodzenie twierdzeń
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację by zobaczyć szczegóły.
CZĘSTOCHOWA - WYPOŻYCZALNIA
Są egzemplarze dostępne do wypożyczenia: sygn. 7678 (1 egz.)
Sortowanie:
Widok:
Pobierz:
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej