Widok standardowy Widok MARC Widok ISBD

Wnioskowanie w logikach nieklasycznych : automatyzacja wnioskowania /

Wnioskowanie w logikach nieklasycznych : automatyzacja wnioskowania / Leonard Bolc [et al.]. - Warszawa : Akademicka Oficyna Wydaw. PLJ, 1998. - 159 s. ; 24 cm. - (Problemy Współczesnej Nauki. Teoria i Zastosowania / ed. serii Leonard Bolc. Informatyka)

Bibliogr. s. 146-159.

ISBN 8371014031

Przedmiot publikacji - hasła tematyczne:
Logika--automatyzacja

UKD: 510.6:004

Zamów
Drukuj
Cytuj
Dodaj do koszyka (usuń)
Zgłoś problem
Kod QR
Zapisz rekord
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
Więcej wyszukiwań

Szukaj tytułu w:
NUKAT (Katalog Zbiorów Polskich Bibliotek Naukowych) Szukam Książki KaRo (Katalog Rozproszony Bibliotek Polskich) Wypożyczalnia cyfrowa Academica Federacja Bibliotek Cyfrowych Koszalińska Biblioteka Publiczna Biblioteka Archiwum Państwowego w Koszalinie Biblioteka Wyższego Seminarium Duchownego w Koszalinie Biblioteka Państwowej Akademii Nauk Stosowanych w Koszalinie Biblioteka Pedagogiczna CEN w Koszalinie Biblioteka Narodowa