The Resource Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings, (electronic resource)

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings, (electronic resource)

Label
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings
Title
Automated Reasoning with Analytic Tableaux and Related Methods
Title remainder
International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings
Creator
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic
Member of
Cataloging source
DKDLA
http://library.link/vocab/creatorName
Galmiche, Didier
Dewey number
006.3/33
Index
no index present
LC call number
QA76.9.A96
Literary form
non fiction
Nature of contents
  • dictionaries
  • standards specifications
Series statement
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence
Series volume
1227,
http://library.link/vocab/subjectName
  • Computer science
  • Artificial intelligence
  • Logic, Symbolic and mathematical
  • Artificial Intelligence (incl. Robotics)
  • Mathematical Logic and Formal Languages
  • Mathematical Logic and Foundations
Label
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings, (electronic resource)
Link
Instantiates
Publication
Extent
1 online resource.
Form of item
online
Isbn
9783540690467
Isbn Type
(electronic bk.)
Specific material designation
remote
System control number
  • (OCoLC)769772843
  • (OCoLC)ocn769772843
Label
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings, (electronic resource)
Link
Publication
Extent
1 online resource.
Form of item
online
Isbn
9783540690467
Isbn Type
(electronic bk.)
Specific material designation
remote
System control number
  • (OCoLC)769772843
  • (OCoLC)ocn769772843

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...