eBooks :: Kembali

eBooks :: Kembali

Automated reasoning : 6th international joint conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings

edited by Bernhard Gramlich, Dale Miller, Uli Sattler (Springer-Verlag, 2012)

 Abstrak

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.

 File Digital: 1

Shelf
 Automated Reasoning.pdf :: Unduh

LOGIN required

 Metadata

Jenis Koleksi : eBooks
No. Panggil : e20410445
Entri tambahan-Nama orang :
Subjek :
Penerbitan : Berlin: Springer-Verlag, 2012
Sumber Pengatalogan: LibUI eng rda
Tipe Konten: text
Tipe Media: computer
Tipe Pembawa: online resource
Deskripsi Fisik:
Tautan: http://link.springer.com/book/10.1007%2F978-3-642-31365-3
Lembaga Pemilik:
Lokasi:
  • Ketersediaan
  • Ulasan
  • Sampul
No. Panggil No. Barkod Ketersediaan
e20410445 20-22-93022755 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20410445
Cover