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

Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.], (eds.)

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

類似資料:

1 電子ブック Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. …

Miglioli, Pierangelo., Moscato, Ugo., Mundici, Daniele., Ornaghi, Mario., SpringerLink (Online service)
7 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario)

Springer
2 図書 Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : …

TABLEAUX, Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim

Springer Verlag
8 図書 Principles of knowledge representation and reasoning : proceedings of the fifth international conference (KR'96), Cambridge, Massachusetts, November 5-8, 1996

International Conference on Principles of Knowledge Representation and Reasoning, Doyle, Jon, Carlucci Aiello, Luigia, …

Morgan Kaufmann Publishers
3 電子ブック Theorem Proving with Analytic Tableaux and Related Methods

TABLEAUX '96, Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings (: gw)

German Conference on Artificial Intelligence, Görz, Günther, Hölldobler, Steffen, 1957-

Springer-Verlag
4 電子ブック Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. …

Baumgartner, Peter., Hähnle, Reiner., Posegga, Joachim., SpringerLink (Online service)
10 図書 Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings (: gw ; : us)

LPNMR, Marek, Wiktor, Nerode, Anil, 1932-, Truszczyński, Mirosław

Springer Verlag
5 図書 Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings

International Workshop on Logic in Databases, Pedreschi, Dino, Zaniolo, Carlo

Springer
11 電子ブック Theorem Proving with Analytic Tableaux and Related Methods

TABLEAUX '95, Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning … (: gw ; : us)

International Workshop AII, 有川, 節夫, Jantke, Klaus P., International Workshop on Algorithmic Learning Theory

Springer-Verlag
12 図書 Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers (: kart)

NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-

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