The following pages link to Luis M. Laita (Q417949):
Displaying 42 items.
- A logic approach to decision taking in a railway interlocking system using Maple (Q417950) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- A system simulating representation change phenomena while problem solving (Q929765) (← links)
- An algebraic approach to rule based expert systems (Q981968) (← links)
- Evolution of railway network flexibility: The Spanish broad gauge case (Q1025316) (← links)
- Study of algebraic logic from the standpoint of category theory (Q1214925) (← links)
- A logic and computer algebra-based expert system for diagnosis of anorexia (Q1349162) (← links)
- A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking (Q1349163) (← links)
- A computational approach to George Boole's discovery of mathematical logic (Q1392259) (← links)
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (Q1404692) (← links)
- An applicable topology-independent model for railway interlocking systems (Q1404698) (← links)
- (Q1609881) (redirect page) (← links)
- An expert system for managing medical appropriateness criteria based on computer algebra techniques (Q1609885) (← links)
- A formal model for verification of dynamic consistency of KBSs (Q1842811) (← links)
- An accelerated-time simulation of departing passengers' flow in airport terminals (Q1887833) (← links)
- A Gröbner bases-based rule based expert system for fibromyalgia diagnosis (Q1935077) (← links)
- Showing the non-existence of solutions in systems of linear Diophantine equations (Q2271591) (← links)
- A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678) (← links)
- A polynomial model for logics with a prime power number of truth values (Q2429988) (← links)
- (Q2715635) (← links)
- (Q2760230) (← links)
- (Q3021919) (← links)
- (Q3156426) (← links)
- A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL (Q3192775) (← links)
- (Q3199403) (← links)
- (Q3406481) (← links)
- (Q3475237) (← links)
- <i>M</i>IDEALS AND NONMONOTONIC LOGIC (Q3478409) (← links)
- (Q3512411) (← links)
- Abraham Robinson's Meta-Algebra Revisited (Q3753989) (← links)
- Boolean algebra and its extra-logical sources: the testimony of mary everest boole (Q3960645) (← links)
- The influence of Boole's search for a universal method in analysis on the creation of his logic (Q4135449) (← links)
- Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan (Q4189238) (← links)
- (Q4371985) (← links)
- (Q4415076) (← links)
- (Q4446490) (← links)
- (Q4471935) (← links)
- (Q4808704) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464709) (← links)
- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple (Q5505497) (← links)
- N‐Categories in Logic (Q5903366) (← links)
- N‐Categories in Logic (Q5903593) (← links)
