Automated theorem proving: theory and practice

By:

Material type: Text

TextPublication details: New York Springer 2001Description: xiii, 229pISBN:

Subject(s):

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	University Library	004.83 NEW (Browse shelf(Opens below))	Available		00051210

Previous		No cover image available						Next
Previous	004.822:339 CHO Mapping sustainability	004.83 DON Symbolic and numerical computation for artificial intelligence	004.83 FEN Analysis and synthesis of fuzzy control system	004.83 NEW Automated theorem proving: theory and practice	004.83 NIE Fuzzy-Neural Control:Principles, Algorithms and Applications	004.83 ROS Fuzzy logic with engineering applications	004.83 STI Satisficing games and decision making: with approaches to Engineering and Computer Science	Next

CD ROM available

There are no comments on this title.

to post a comment.