>> Google Books

Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings. 1st ed. 2015

フォーマット:
電子ブック
責任表示:
edited by Hans De Nivelle
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
XVI, 355 p. 70 illus. in color
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9323
書誌ID:
LB00386501
ISBN:
9783319243115 [331924311X]  CiNii Books  Webcat Plus  Google Books
9783319243122 [3319243128]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

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

Calimeri, Francesco, Ianni, Giovambattista, Truszczynski, Miroslaw, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Maletti, Andreas, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Lutz, Carsten, Ranise, Silvio, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Blanchette, Jasmin Christian, Kosmatov, Nikolai, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Parisi-Presicce, Francesco, Westfechtel, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Kahl, Wolfram, Winter, Michael, Oliveira, Jose, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Manea, Florin, Nowotka, Dirk, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Calinescu, Radu, Rumpe, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Urban, Christian, Zhang, Xingyuan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bartocci, Ezio, Majumdar, Rupak, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Finkbeiner, Bernd, Pu, Geguang, Zhang, Lijun, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer