>> Google Books
所蔵情報QRコード

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (ed.)

資料種別:
図書
出版情報:
Berlin ; Heidelberg : Springer, c1997
形態:
xi, 372 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1227 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540629207 [3540629203] (: kart)
書誌ID:
BA30732657
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Galmiche, Didier; Larchey-Wendling, Dominique, Larchey-Wendling, Dominique

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

TABLEAUX '97, Galmiche, Didier

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

IJCAR, Goré, Rajeev, Leitsch, Alexander, 1952-, Nipkow, Tobias, 1958-

Springer

Galmiche, Didier; Larchey-Wendling, Dominique

Springer eBooks Computer Science, Springer Berlin Heidelberg

IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Shi, Zhongzhi

North-Holland

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