Pages that link to "Item:Q808298"
From MaRDI portal
The following pages link to An efficient procedure for theorem proving in propositional logic on vector computers (Q808298):
Displaying 4 items.
- A parallel approach for theorem proving in propositional logic (Q1102766) (← links)
- A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes (Q1357089) (← links)
- An efficient reasoning method on logic programming using partial evaluation in vector spaces (Q3382822) (← links)
- (Q3489439) (← links)