Ewa Orlowska on Relational Methods in Logic and Computer Science
9
%
2827 Kč 3 111 Kč
Sleva až 70% u třetiny knih
Orlowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings.
Nakladatel: | Springer International Publishing AG |
ISBN: | 9783319978789 |
Rok vydání: | 2018 |
Jazyk : | Angličtina |
Vazba: | Hardback |
Počet stran: | 502 |
Mohlo by se vám také líbit..
-
Učebnice jazyka C 1.díl 6.v.
Pavel Herout
-
Učebnice jazyka Java 5.v.
Pavel Herout
-
Učebnice jazyka C 2.díl
Pavel Herout
-
Design Patterns
Gamma, Erich
-
The Clean Coder
Martin, Robert C.
-
XSLT 2.0 a SVG prakticky
Pavel Herout
-
Think Like a Programmer
Spraul, V. Anton
-
Microsoft SQL Server 2012 Podstawy ję...
Ben-Gan Itzik
-
Zaprzyjaźnij się z algorytmami
Tomasiewicz Jacek
-
Kwalifikacja E.14 Tworzenie aplikacji...
Pokorska Jolanta
-
Cracking Codes with Python
Sweigart, Al
-
Python-Tricks
Bader, Dan
-
Cryptography Made Simple
Blake Ian, Seroussi Gadiel, Smart Nigel
-
Building an Effective IoT Ecosystem ...
Sinha, Sudhi R.; Park, Youngchoon
-
UML @ Classroom
Seidl, Martina
-
Cinderella\'s Stick
Tzitzikas, Yannis; Marketakis, Yannis