Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 5.

Wyniki
		Logika w rozwiązywaniu zadań / Robert Kowalski ; z angielskiego przełożył Paweł Luboński. autor Kowalski, Robert, (1941- ) [Autor] Luboński, Paweł, (1958- ) [Tłumaczenie] Wydawnictwa Naukowo-Techniczne [Wydawca] Serie: Biblioteka Inżynierii Oprogramowania Wydanie: Wydanie I. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język oryginału: angielski Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1989 Inny tytuł: Logic for problem solving Logic for problem solving Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB I15183. Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: w czytelni A 114859, ... Zamów
		Logic-based artificial intelligence / edited by Jack Minker. autor Minker, Jack [Red.] Kluwer Academic Publishers (Dordrecht) [pbl] Serie: Kluwer International Series in Engineering and Computer Science ; SECS 597 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Boston : Kluwer Academic Publishers, cop. 2000 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 181873. Zamów
		Software blueprints : lightweight uses of logic in conceptual modelling / David Robertson and Jaume Agustí. autor Robertson, David S [Autor] Agustí i Cullell, Jaume [Autor] Addison-Wesley (1942-1999) [Wydawca] Association for Computing Machinery [Wydawca] Wydanie: First published. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: New York : Harlow, England : ACM Press ; Addison-Wesley, 1999 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 193075.
		Mikroelektroniczne elementy i układy cyfrowe LOGISTER / Andrzej Cyran, Marek Grzybek, Mariusz Marczewski, Jan Pieńkos. autor Cyran, Andrzej [Autor] Grzybek, Marek [Autor] Marczewski, Mariusz [Autor] Pieńkos, Jan [Autor] Wydawnictwa Komunikacji i Łączności [Wydawca] Wydanie: Wydanie 1. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Warszawa : Wydawnictwa Komunikacji i Łączności, 1975 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (7)Lokalizacja, sygnatura: w opracowaniu A 150724, ... Zamów
		Logic, philosophy and computer science : second special issue / ed. by Dariusz Surowik, Robert Milewski ; under the auspices of the Polish Association for Logic and Philosophy of Science. autor Surowik, Dariusz [Red.] Milewski, Robert (informatyka) [Red.] Uniwersytet (Białystok). Wydawnictwo [pbl] Serie: Studies in Logic, Grammar and Rhetoric ; 30 (43) Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Bialystok : University of Bialystok, 2012 Zasoby online: Kliknij tutaj, aby uzyskać dostęp online Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 178012.