Вы здесь

Главная

множество

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

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
A Domain-Specific Language for Regular Sets of Strings and Trees
Algorithms and Discrete Applied Mathematics: Proc./3rd International Conference, CALDAM 2017, Sancoale, Goa, India, February 2017
An N-Dimentional Data Structure in Support of Electronic Data Interchange (EDI) Translation
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
A Proof System Based on Finite Set Theory
A Simple Graph Construction of Semilinear Reachability Sets of Vector Addition Systems
A Study of Natural Language Quantification and Anaphora Through Families of Sets and Binary Relations
A Syntactic Consistency Proof for NaDSet
A WAM-Based Implementation of a Logic Language with Sets
Construction used in associative parallel algorithms for undirected graphs. Part 1
Development of Rewriting Strategies
Discovery through Rough Set Theory
Does Transitivity Help? On the Complexity of Poset Properties
Easily Checked Self-Reducibility
Embedding Daclarative Subprograms into Imperative Constructs
Embedding Finite Sets in a Logic Programming Language
Equations in nets Computer oriented lattices
Finding Maximum Convex Polygons
Frontiers of Combining Systems: Proc./8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 2011
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
Fuzzy Sets, Fuzzy Clustering and Fuzzy Rules in AI
Geometric Science of Information: Proc./1st International Conference, GSI 2013, Paris, France, August 2013
Hausdorff Reduction to Sparse Sets and to Sets of High Information Content
Intuitive Semantics for Quantitative Rule Sets
Is There Anything Better than Magic?
Logical and Computational Aspects of Programming with Sets/Bags/Lists
Logical Aspects of Set Constraints
Logic Programming and Nonmonotonic Reasoning: Proc./11th International Conference, LPNMR 2011, Vancouver, Canada, May 2011
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Metric Pomset Semantics for a Concurrent Language with Recursion
Mining for Empty Rectangles in Large Data Sets
Model Building by Resolution
Modeling Fuzzy Sets Using Object-Oriented Techniques
Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing: Proc./7th Intern. Workshop, RSEDGrC 99. Yamaguchi, Japan, November 1999
Operation on sets in an OODB
Parameterized and Exact Computation: Revised Selected Papers/8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 2013
Possibility Theory, Belief Revision and Nonmonotonic Logic
Predicates as Parameters in Logic Programming
Reasoning Web. Semantic Technologies for Information Systems: Tutorial Lectures/5th International Summer School 2009, Brixen-Bressanone, Italy, August/September 2009
Recursion Theoretic Properties of Frequency Computation and Bounded Queries
Regular Tree Languages without Unary Symbols Are Star-Free
Rough Sets and Current Trends in Computing: Proc./4th International Conference, RSCTC 2004 Uppsala, Sweden, June 2004
Rough Sets and Current Trends in Computing: Proc./5th International Conference,RSCTC 2006, Kobe,Japan,November 2006
S3L: un langage fonctionnel pour les ensembles
Scalable Uncertainty Management: Proc./4th International Conference, SUM 2010, Toulouse, France, September 2010
Set Constraints and Logic Programming
Set Constraints and Set-Based Analysis
Set Constraints: Results, Applications and Future Directions