Amazon cover image
Image from Amazon.com

Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings / Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 6803. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Publication details: Heidelberg ; New York : Springer, ©2011.Description: 1 online resource (xiii, 508 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642224386
  • 3642224385
Other title:
  • CADE-23
  • CADE-twenty-three
Subject(s): Genre/Form: Additional physical formats: Print version:: Automated deduction - CADE-23.DDC classification:
  • 511.3/6028563 23
LOC classification:
  • QA76.9.A96 I57 2011eb
Online resources: Summary: This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.

English.

Powered by Koha