Search:

Type:

Format:

Library:

Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings Cover Image

E-book

E-book

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling.

Galmiche, Didier. (editor.). Larchey-Wendling, Dominique. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642405372
Physical Description: X, 289 p. 34 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

Search for related items by subject

Subject:

Computer science.
Software engineering.
Logic design.
Computational complexity.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Programming Techniques.
Software Engineering.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record