>> Google Books
タイトル、所在を表示します

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>
書誌ID:
BA27487158
ISBN:
9783540612087 [3540612084]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : …

International Workshop on Logic Program Synthesis and Transformation, Fribourg, Laurent, 1957-, Turini, Franco, 1949-, &hellip;

Springer-Verlag
2 図書 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
8 図書 Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings

International Workshop PLILP, Deransart, Pierre, 1945-, Lorho, Bernard, Małuszyński, Jan, 1941-

Springer-Verlag
3 図書 Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

Fuji International Symposium on Functional and Logic Programming, Hu, Zhenjiang, 1966-, Rodríguez Artalejo, M. (Mario)

Springer
9 図書 Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987

International Workshop on Natural Language Understanding and Logic Programming, Dahl, Veronica, 1950-, Saint-Dizier, &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
4 図書 Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings

ILP, Lavrač, Nada, Džeroski, Sašo, 1968-

Springer
10 図書 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

International Workshop on Logic Program Synthesis and Transformation, Bossi, Annalisa, 1948-

Springer
5 図書 Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio …

International Workshop on Logic Program Synthesis and Transformation, Proietti, Maurizio, 1959-

Springer
11 図書 Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

FLOPS, Kuchen, Herbert R., 1958-, 上田, 和紀(1956-)

Springer
6 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings

TABLEAUX, Swart, Harrie de

Springer
12 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings

TABLEAUX, Galmiche, Didier, 1958-

Springer