>> Google Books

Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. 1st ed. 2015

フォーマット:
電子ブック
責任表示:
edited by Amy P. Felty, Aart Middeldorp
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
XXVIII, 640 p. 93 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9195
目次情報:
Automated deduction
Foundations
Applications
Implementations
Practical experience
書誌ID:
LB00386361
ISBN:
9783319214009 [3319214004]  CiNii Books  Webcat Plus  Google Books
9783319214016 [3319214012]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Onieva, Enrique, Santos, Igor, Osaba, Eneko, Quintian, Hector, Corchado, Emilio, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Ferrandez Vicente, Jose Manuel, Alvarez-Sanchez, Jose Ramon, de la Paz Lopez, Felix, Toledo-Moreo, Fco. Javier, Adeli, …

Springer International Publishing : Imprint: Springer

Huang, De-Shuang, Bevilacqua, Vitoantonio, Premaratne, Prashan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Arik, Sabri, Huang, Tingwen, Lai, Weng Kin, Liu, Qingshan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Huang, De-Shuang, Jo, Kang-Hyun, Hussain, Abir, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Jackowski, Konrad, Burduk, Robert, Walkowiak, Krzysztof, Wo?niak, Micha?, Yin, Hujun, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bieger, Jordi, Goertzel, Ben, Potapov, Alexey, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Arik, Sabri, Huang, Tingwen, Lai, Weng Kin, Liu, Qingshan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Aujol, Jean-Francois, Nikolova, Mila, Papadakis, Nicolas, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Arik, Sabri, Huang, Tingwen, Lai, Weng Kin, Liu, Qingshan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Ferrandez Vicente, Jose Manuel, Alvarez-Sanchez, Jose Ramon, de la Paz Lopez, Felix, Toledo-Moreo, Fco. Javier, Adeli, …

Springer International Publishing : Imprint: Springer

Arik, Sabri, Huang, Tingwen, Lai, Weng Kin, Liu, Qingshan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer