Automated Deduction - CADE-23 : 23rd International Conference on Automated 
Deduction

Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica

doi:10.1007/978-3-642-22438-6

Local TagsRelease HistoryDetailsSummary

Automated Deduction - CADE-23 : 23rd International Conference on Automated Deduction

Bjørner, N., & Sofronie-Stokkermans, V. (Eds.). (2011). Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction. Berlin: Springer.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0010-14E4-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C816-E

Genre: Proceedings

Files

show Files

Locators

show

Creators

show

hide

Creators:
Bjørner, Nikolaj¹, Editor
Sofronie-Stokkermans, Viorica², Editor

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2012-03-16Date issued: 2011

Publication Status: Issued

Pages: 1-505

Publishing info: Berlin : Springer

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 619016
ISBN: 978-3-642-22437-9
DOI: 10.1007/978-3-642-22438-6
URI: http://dx.doi.org/10.1007/978-3-642-22438-6
Other: Local-ID: C125716C0050FB51-E9D0E28A5AE75EECC1257921007520A4-Sofronie-Stokkermans-cade-2011

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Wroclaw, Poland

Start-/End Date: 2011-07-31 - 2011-08-05

Legal Case

show

Project information

show

Source

show