Вы здесь

Главная

математический

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

A Bibliography for the Development of an Intelligent Mathematical Programming System
Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd International Conference, ABZ 2012, Pisa, Italy, June 2012
Advances in Computational Intelligence, Part I: Proc./13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 2015
A Frame Based Approach to Representing Mathematical Concepts
A Modular Mathematical Programming Language
A Multi-agent System for Mathematical Modeling
An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series
A reliable linear constraint solver for the UniCalc system
Artificial Intelligence and Symbolic Computation: Proc./12th International Conference, AISC 2014, Seville, Spain, December 2014
Artificial Intelligence and Symbolic Computation: Proc./13th International Conference, AISC 2018, Suzhou, China, September 2018
Automaty i gramatyki
Discrete Optimization and Operations Research: Proc./9th International Conference, DOOR 2016, Vladivostok, Russia, September 2016
Frontiers in Algorithmics: Proc./11th International Workshop, EAW 2017, Chengdu, China, June 2017
Geometric Science of Information: Proc./1st International Conference, GSI 2013, Paris, France, August 2013
Highlighting the Lambda-free Fragment of Automath
High Performance Computing in Science and Engineering: Revised Selected Papers/3rd International Conference, HPCSE 2017, Karolinka, Czech Republic, May 2017
High School Mathematics Education and Training of Mathematics and Informatics Teachers in Bulgaria: Proc./6th International Congress on Mathematical Education ICME-6, Budapest, Hungary, July 1988
Integration of AI and OR Techniques in Constraint Programming: Proc./14th International Conference, CPAIOR 2017, Padua, Italy, June 2017
Intelligent Computer Mathematics: Proc./10th International Conference, CICM 2017, Edinburgh, UK, July 2017
Intelligent Computer Mathematics: Proc./11th International Conference, CICM 2018, Hagenberg, Austria, August 2018
Intelligent Computer Mathematics: Proc./9th Internatioanl Conference, CICM 2016, Bialystok, Poland, July 2016
Intelligent Computer Mathematics: Proc./International Conference, CICM 2015, Washington,DC,USA, July 2015
Interactive Theorem Proving: Proc./7th International Conference, ITP 2016, Nancy, France, August 2016
Language-free mathematical methods for software design. Extended abstract
Let s Make Models
L-systems with Inheritance: An Object-oriented Extension of L-systems
MATHCAD - математический пакет для инженерных расчетов
Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 2015
Mathematical Foundations of Computer Science 1975: Proc./4th Symp., Marianske Lazne, September 1975
Mathematical Foundations of Computer Science 2003: Proc./28th Intern. Symp., MFCS 2003, Bratislava, Slovakia, August 2003
Mathematical Foundations of Computer Science 2006: Proc./31st International Symposium, MFCS 2006. Stara Lesna, Slovakia, August/September 2006
Mathematical Knowledge Management: Proc./5th International Conference, MKM 2006. Workingham, UK, August 2006
Mathematical Knowledge Management: Proc./Third International Conference, MKM 2004. Bialowieza, Poland, September 2004
Mathematical Knowledge Management: Revised Selected Papers/4th International Conference, MKM 2005. Bremen, Germany, July 2005
Mathematical Morphology and Its Applicationas to Image and Signal Processing: Proc./10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 2011
Mathematical Morphology and Its Applications to Signal and Image Processing: Proc./12th International Symposiu, ISMM 2015, Reykjavik, Iceland, May 2015
Mathematical Morphology and Its Applications to Signal and Image Processing: Proc./13th International Symposium, ISMM 2017, Fontainebleau, France, May 2017
Mathematical Software - ICMS 2006: Proc./Second International Congress on Mathematical Software. Castro Uridales, Spain, September 2006
Mathematical Software - ICMS 2016: Proc./5th International Conference, Berlin, Germany, July 2016
Mathematical System Models as a Basis of Software Engineering
Mathematical Theory and Computational Practice: Proc./5th Conference on Computability in Europe, CiE 2009. Heidelberg, Germany, July 2009
Math on the Internet
MATHTREE - каталог математических интернет-ресурсов
MATLAB и семейство профессиональных приложений для моделирования и анализа
Methematical Knowledge Management: Proc./Second Intern. Conf., MKM 2003, Bertinoro, Italy, February 2003
Mining Intelligence and Knowledge Exploration: Proc./7th International Conference, MIKE 2019, Goa, India, December 2019
Modeling Decisions for Artificial Intelligence: Proc./15th International Conference, MDAI 2018, Mallorca, Spain, October 2018
MSL - A Mathematical Specification Language
Naming and Scoping in a Mathematical Vernacular
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]