Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
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:
http://dx.doi.org/10.1007/978-3-642-40537-2
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 334962-1001 ONLINE(334962.1)
Searching...

On Order