Coverart for item
The Resource Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, June, 1999 : proceedings, Niel V. Murray (ed.)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, June, 1999 : proceedings, Niel V. Murray (ed.)

Label
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, June, 1999 : proceedings
Title
Automated reasoning with analytic tableaux and related methods
Title remainder
international conference, TABLEAUX '99, Saratoga Springs, NY, June, 1999 : proceedings
Statement of responsibility
Niel V. Murray (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
006.3/33
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A96
LC item number
T33 1999
Literary form
non fiction
Nature of contents
bibliography
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
1617.
Label
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, June, 1999 : proceedings, Niel V. Murray (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
x, 323 p.
Isbn
9783540660866
Isbn Type
(softcover : alk. paper)
Lccn
99032019
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
(OCoLC)ocn370389885
Label
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, June, 1999 : proceedings, Niel V. Murray (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
x, 323 p.
Isbn
9783540660866
Isbn Type
(softcover : alk. paper)
Lccn
99032019
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
(OCoLC)ocn370389885

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...