Вы здесь

Главная

логика программирования

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

Computational logic in Multi-Agent Systems: Proc./15th International Workshop, CLIMA XV, Prague, Czech Republic, August 2014
Foundations of Software Science and Computation Structures: Proc./24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare: Marktoberdorf, Germany, August, 1986
Logic Programming and Nonmonotonic Reasoning: Proc./14th International Conference, LPNMR 2017, Espoo, Finland, July 2017
New Frontiers in Mining Complex Patterns: Revised Selected Papers/6th International Workshop, NFMCP 2017 Hekd in Conjunction with ECML-PKDD 2-17, Skople, Macedonia, September 2017
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009
Practical Aspects of Declarative Languages: Proc./10th International Symposium, PADL 2018, Los Angeles,CA,USA, January 2018
Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Relational and Algebraic Methods in Computer Science: Proc./15th International Conference, RAMiCS 2015, Braga, Portugal, September 2015
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Trends in Functional Programming: Revised Selected Papers/19th International Symposium, TFP 2018, Gothenburg, Sweden, June 2018