>> Google Books

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. 1st ed. 2015

フォーマット:
電子ブック
責任表示:
edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
言語:
英語
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
形態:
XV, 640 p. 142 illus. in color
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9450
書誌ID:
LB00386725
ISBN:
9783662488980 [3662488981]  CiNii Books  Webcat Plus  Google Books
9783662488997 [366248899X]  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

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

Springer International Publishing : Imprint: Springer

De Nivelle, Hans, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

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

Springer International Publishing : Imprint: Springer

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

Springer International Publishing : Imprint: Springer

Taentzer, Gabriele, Bordeleau, Francis, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Jesse, Ramon, Jan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Nicola, Rocco De, Hennicker, Rolf, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Dastani, Mehdi, Sirjani, Marjan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Wirsing, Martin, Holzl, Matthias, Koch, Nora, Mayer, Philip, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Piterman, Nir, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Desmedt, Yvo, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer