"Logic, Symbolic and mathematical+Data processing." - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

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

Showing 1 - 10 of 32 results

Search Results

Cover image for ISSAC '95

ISSAC '95

1996
Format: Electronic

Location
Access Content Online

Cover image for Modelling with words

Modelling with words

2003
Format: Electronic

Location
Access Content Online

Cover image for Intelligent computer mathematics

Intelligent computer mathematics

by AISC 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for 2017 32nd Annual ACM IEEE Symposium on Logic in Computer Science (LICS)

2017 32nd Annual ACM IEEE Symposium on Logic in Computer Science (LICS)

by IEEE Staff
2017
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction in geometry

Automated deduction in geometry

by International Workshop on Automated Deduction in Geometry
1999
Format: Book

Joyner Library - General Stacks

Call Number: QA448.D38 I577 1998

Cover image for Modelling with words

Modelling with words

2003
Format: Electronic

Location
Access Content Online

Cover image for Automated Deduction in Geometry

Automated Deduction in Geometry

by Recio, Tomas
2008
Format: Electronic

Location
Access Content Online

Cover image for Towards mechanized mathematical assistants

Towards mechanized mathematical assistants

by Calculemus 2007
2007
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction in geometry

Automated deduction in geometry

by International Workshop on Automated Deduction in Geometry
2001
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction in geometry

Automated deduction in geometry

by International Workshop on Automated Deduction in Geometry
2006
Format: Book

Location
Access Content Online