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

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2002
形態:
x, 339 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2381 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540439295 [3540439293]
書誌ID:
BA58064782
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K.

Springer

International Conference on Logic Programming, Stuckey, Peter J.

Springer

International Conference on Automated Deduction, Voronkov, A. (Andreĭ), 1959-

Springer

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