Automated deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the ma...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | |
| Médium: | E-kniha |
| Jazyk: | English |
| Vydáno: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| Edice: | Lecture Notes in Computer Science
7898 |
| Témata: | |
| On-line přístup: | Click here to view the full text content |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Právě probíhá údržba systému
Právě probíhá údržba knihovního systému.
V současné době nejsou dostupné informace o dostupnosti. Omlouváme se Vám za nepříjemnosti. Neváhejte nás kontaktovat a my se pokusíme zjistit požadované informace jinou cestou: