Coverart for item
The Resource Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings, Marta Cialdea Mayer, Fiora Pirri (eds.)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings, Marta Cialdea Mayer, Fiora Pirri (eds.)

Label
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
Title
Automated reasoning with analytic tableaux and related methods
Title remainder
international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
Statement of responsibility
Marta Cialdea Mayer, Fiora Pirri (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A96
LC item number
T33 2003
Literary form
non fiction
Nature of contents
bibliography
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
2796.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings, Marta Cialdea Mayer, Fiora Pirri (eds.)
Label
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings, Marta Cialdea Mayer, Fiora Pirri (eds.)
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and author index
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9783540407874&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1537227'}
Extent
x, 270 p.
Isbn
9783540407874
Isbn Type
(softcover : alk. paper)
Lccn
2003060201
Other physical details
ill.

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...