Search Results

You searched for: subject "Logic, Symbolic and mathematical+Data processing." Remove constraint

Search Results

Cover image for Automated deduction in geometry

Automated deduction in geometry

Joyner Library - General Stacks
Call Number: QA448.D38 I577 1996
Cover image for Commonsense reasoning

Commonsense reasoning

Location
Access Content Online
Cover image for Commonsense reasoning

Commonsense reasoning

Location
Access Content Online
Cover image for Logics in AI

Logics in AI

Location
Access Content Online