Normal View MARC View ISBD View

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /

Authors: Nieuwenhuis, Robert.%editor Series: Lecture notes in computer science ; 0302-9743 ; . 3632. Published by : Springer, (Berlin :) Physical details: xiii, 457 p. : ill. ; 24 cm. ISBN: 3540280057 Subject(s): Automatic theorem proving | Logic, Symbolic and mathematical. Year: 2005
Online Resources:
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Date Due
Book Book AUM Main Library English Collections Hall 006.3 I612 (Browse Shelf) Available
Book Book AUM Main Library English Collections Hall 006.3 I612 (Browse Shelf) Available
Book Book AUM Main Library English Collections Hall 006.3 I612 (Browse Shelf) Available

Includes bibliographical references and index.

Also available on the World Wide Web.

There are no comments for this item.

Log in to your account to post a comment.