Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
by
Galmiche, Didier. editor.
Title
:
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author
:
Galmiche, Didier. editor.
ISBN
:
9783642405372
Physical Description
:
X, 289 p. 34 illus. online resource.
Series
:
Lecture Notes in Computer Science, 8123
Subject Term
:
Computer science.
Software engineering.
Logic design.
Computational complexity.
Artificial intelligence.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Programming Techniques.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Added Author
:
Larchey-Wendling, Dominique.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 334962-1001 | ONLINE(334962.1) | | Elektronik Kütüphane |