Pages that link to "Item:Q3992431"
From MaRDI portal
The following pages link to Deduction system. Mechanizing of logical operations (Q3992431):
Displaying 6 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- A system of quantificational deduction (Q2531612) (← links)
- Organization of a logical deduction mechanism in the expert system of production type (Q2742820) (← links)
- (Q3781064) (← links)
- (Q4331757) (← links)
- (Q4698605) (← links)