Zaloguj lub zarejestruj Lista podręczna - 0 Pomoc
	Strona główna   Wyszukiwanie   Moje konto   e-Zasoby   Zaproponuj zakup książki	Przełącz język: PB Library (angielski)

alfabetyczne po słowach zaawansowane historia

---

21. Weryfikacja modelowa specyfikacji sterowników logicznych/ Iwona Grobelna ; Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki. Autor: Grobelna, Iwona.      22. Logika praktyczna z elementami wiedzy o manipulacji / Piotr Łukowski ; wstęp Marek Zirk-Sadowski. Autor: Łukowski, Piotr., Zirk-Sadowski, Marek (1952- ).      23. Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych / Wojciech Zielonka. Autor: Zielonka, Wojciech.      24. Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. Autor: Marek, Wiktor., Onyszkiewicz, Janusz (1937- ). Wydanie:  Wyd. 12, 6 dodr.      25. Sztuczna inteligencja i logika : podsumowanie przedsięwzięcia naukowego / Andrzej Kisielewicz.  Autor: Kisielewicz, Andrzej (1953- ).      26. Elementy logiki stosowanej / Adam Jonkisz ; Wyższa Szkoła Administracji w Bielsku-Białej. Autor: Jonkisz, Adam (1953- ).      27. Metody refutacyjne w badaniach nad systemami logicznymi / Robert Sochacki. Autor: Sochacki, Robert.      28. Matematyka dyskretna i logika / Slavian Radev ; Collegium Mazovia Innowacyjna Szkoła Wyższa w Siedlcach. Autor: Radev, Slavian (1950- ).      29. Wybrane zagadnienia informatyki teoretycznej / Sergii Kryvyi, Norbert Sczygiol. Autor: Kryvyi, Sergii., Sczygiol, Norbert (1955- ).      30. Logika popularna : przystępny zarys logiki zdań / Andrzej Grzegorczyk. Autor: Grzegorczyk, Andrzej (1922-2014). Wydanie:  Wyd. 4.

oznacza, że bieżąca lokalizacja posiada egzemplarz

Poprz.

1

2

3

4

5

6

7

8

9

10

Nast.

>>

Zapraszamy do nowego katalogu.

Horizon Information Portal 3.23.1_6655

© 2001-2015 SirsiDynix All rights reserved.