Location & Availability for: Automated deduction -- CADE-24 : 24th In

 Staff view

You must be logged in to Tag Records

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

Maria Paola Bonacina (ed.).

Book Cover
Names: Bonacina, Maria Paola.
Published: Berlin ; Springer, c2013.
Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; 7898.
LNCS sublibrary. SL 7, Artificial intelligence.
Topics: Automatic theorem proving - Congresses. | Logic, Symbolic and mathematical - Congresses.
Genres: Electronic books.
Online Access: SpringerLink Link to Automated deduction -- CADE-24 (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Benedictine University

Loading Holdings Data ... Loading

Location & Availability for: Automated deduction -- CADE-24 : 24th In