Вы здесь

Главная

символьный

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

Abstract Interpretation and Finite Domain Symbolic Constraints
Abstract specification of structures and methods in symbolic mathematical computation
A Case Study of Parallel Execution of a Rule-Based Expert System
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program and Optimization
Advances in Soft Computing: Proc./18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 2019
AG: A Set of Maple Packages for Symbolic Computing of Automata and Semigroups
A General Approach to Partial Order Reductions in Symbolic Verification
AlgBench: An Object-Oriented Symbolic Core System
Algebraic Manipulation: Systems
A modal logic for message passing processes
Analyzing Stores and References in a Parallel Symbolic Language
An Analysis of Dynamic Scheduling Techniques for Symbolic Applications
An Approach to Symbolic Test Generation
An Assessment of Multilisp: Lessons from Experience
A New Load-Prediction Scheme Based on Algorithmic Cost Functions
An Object-Oriented Modeling of the History of Optimal Retrievals
An Optical Content-Addresable Parallel Processor for Fast Searching and Retrieving
Application of a Reciprocal Confluence Tree Unit to Similar-Picture Retrieval
A Practical Approach to the Symbolic Debugging of Parallelized Code
A Quick Introduction to the Programming Language MIKE
Artificial Intelligence and Symbolic Computation: Proc./7th International Conference, AISC 2004. Linz, Austria, September 2004
Artificial Intelligence and Symbolic Computation: Proc./8th International Conference, AISC 2006. Beijing, China, September 2006
Artificial Intelligence and Symbolic Computation: Proc./Intern. Conf. AISC 2000, Madrid, Spain, July 2000
Artificial Intelligence and Symbolic Computation: Proc./Intern. Conf. AISC 98. Plattsburgh, New York, USA, September 1998
Artificial Intelligence and Symbolic Mathematical Computation: Proc./International Conference,AISMC-3. Steyr,Austria,September 1996
Artificial Intelligence and Symbolic Mathematical Computing: Proc./Intern. Conf. AISMC-1. Karlsruhe, Germany, August 1992
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Proc./Joint Intern. Conf., AISC 2002 and Calculemus 2002, Marseille, France, July 2002
A Symbolic Semantics for the -calculus
A tool for symbolic program verification and abstraction
A Unified-Algebra-based Specification Language for Symbolic Computing
Bebop: A Symbolic Model Checker for Boolean Programs
Bounded Model Checking for Timed Systems
Building Tools for LOTOS Symbolic Semantics in Maude
Cellular Automata and Discrete Complex Systems: Proc./22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 2016
Cellular Automata and Discrete Complex Systems: Proc./23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Spain, June 2017
Cellular Automata and Discrete Complex Systems: Proc./25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 2019
CLAS
Combinatory Models and Symbolic Computation
Combining Theorem Proving and Model Checking through Symbolic Analysis
Combining Theorem Proving and Symbolic Mathematical Computing
Complexity of Symbolic Computing
Composing Symbolic Trajectory Evaluation Results
Compuer Algebra and Polynomials: Applications of Algebra and Number Theory
Computational Science and Its Applications - ICCSA 2005. Part III: Proc./International Conference. Singapore, May 2005
Computational Science - ICCS 2005. Part III: Proc./5th International Conference. Atlanta,GA,USA, May 2005
Computer Aided Verification: Proc./11th Intern. Conf., CAV 99. Trento, Italy, July 1999
Computer Aided Verification: Proc./6th Intern. Conf., CAV 94. Stanford, California, USA, June 1994
Computer Aided Verification: Proc./7th Intern. Conf., CAV 95. Liege, Belgium, July 1995
Computer Algebra in Scientific Computing: Proc./8th International Workshop, CASC 2005. Kalamata, Greece, September 2005
Computer Science - Theory and Applications: Proc./13th International Computer Science Symposium i Russia, CSR 2018, Moscow, Russia, June 2018