Automated reasoning / Gore,R(ed).

By: Gore,R(ed)Material type: Text

TextLanguage: English Publication details: Berlin: Springer, 2001. Edition: 1st international joDescription: xv,707p;23cmISBN: 3540422544DDC classification: 006.3 GAL

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book)	Central Library, TU	Reference	006.3 GAL (Browse shelf(Opens below))	Not for loan		20380

Total holds: 0

Browsing Central Library, TU shelves, Shelving location: Reference Book Section (Consult Shelf-Guide to locate the book), Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	006.3 FRE Spatial cognition: an interdisciplinary approach to representing and processing /	006.3 GAL Automated reasoning with analytic tableaux and related methods /	006.3 GAL Automated reasoning with analytic tableaux and related methods /	006.3 GAL Automated reasoning /	006.3 GAR Multi-agent system engineering /	006.3 HER KI-98 /	006.3 HUN Applications of uncertainty formalisms /	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.