Automated reasoning with analytic tableaux and related methods / Murray,Neil V.

By: Murray,Neil VMaterial type: Text

TextLanguage: English Publication details: Berlin: Springer, 1999. Edition: International conferDescription: x,323p;26cmISBN: 3540660860DDC 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		11522

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 FDI Multimedia applications,services and techniques-ECMAST'97 /	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 /	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.