Вы здесь

Главная

основания

Связанные издания:

Artificial Neural Networks and Machine Learning - ICANN 2016, Part I: Proc./25th International Conference, Barcelona, Spain, September 2016
Formal Methods: Founations and Applications: Proc./18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, Septenber 2015
Foundations of Software Science and Computational Structures:Proc./10th Intl Conference FOSSACS 2007, part of Joint European Conferences on Theory & Practice of Software, ETAPS 2007. Braga, Portugal, March/April 2007
Graph Transformation: Proc./9th International Conference, ICGT 2016 in Memory of Hartmut Ehrig, Held as Part of Staff 2016, Vienna, Austris, July 2016
Logic, Language, Information, and Computation: Proc./21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 2014
Mathematical Foundations of Computer Science 2006: Proc./31st International Symposium, MFCS 2006. Stara Lesna, Slovakia, August/September 2006
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
SOFSEM 2016: Theory and Practice of Computer Science: Proc./42nd International Conference on Current Trends in Theory and Practice of CS, Harrachov, Czech Republic, January 2016
The Language of Mathematics. A Linguistics and Philosophical Investigation
Why Sets?
Дескриптологические основания программирования
Логические основы синтеза программ
Об основаниях информатики
О математической логике и философии математики. (Начальные сведения об основаниях математики)
Основания математической логики
Числовые системы. Основания алгебры и анализа.