Cover Image
Saved in:

Automated deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings /

Corporate Authors: International Conference on Automated Deduction Lake Placid, N.Y.), SpringerLink (Online service)
Other Authors: Bonacina, Maria Paola.
Format: Online Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2013.
Series:Lecture notes in computer science ; 7898.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. Artificial intelligence.
Subjects:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!