7 results on '"Rossi, Gianfranco"'
Search Results
2. Automated Reasoning with Restricted Intensional Sets
3. Automated Proof of Bell–LaPadula Security Properties
4. Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations
5. Constructive negation and constraint logic programming with sets
6. Using Prolog for building frog, a hybrid knowledge representation system
7. Uses of Prolog in implementation of expert systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.