>> Google Books
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings
フォーマット:
図書
責任表示:
P. Schroeder-Heister (ed.)
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1991
形態:
viii, 364 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 475 . Lecture notes in artificial intelligence <BA00009279>
書誌ID:
BA11774412
ISBN:
9783540535904 [354053590X] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387535906 [038753590X] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings

International Workshop on Extensions of Logic Programming, Eriksson, L.-H. (Lars-Henrik), 1960-, Hallnäs, Lars, &hellip;

Springer-Verlag
7 図書 Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings

International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-

Springer-Verlag
2 図書 Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings

International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-, Herre, Heinrich, Schroeder-Heister, &hellip;

Springer-Verlag
8 図書 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

International Workshop, META, Pettorossi, A. (Alberto), 1947-

Springer-Verlag
3 図書 Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings

International Workshop on Extensions of Logic Programming, Lamma, E. (Evelina), 1960-, Mello, P. (Paula), 1958-

Springer-Verlag
9 図書 Logic programming : proceedings of the seventh international conference

International Conference on Logic Programming, Warren, David H. D., Szeredi, Peter, 1949-

MIT Press
4 図書 Substructural logics

Schroeder-Heister, Peter Joseph, 1953-, Došen, Kosta

Clarendon Press, Oxford University Press
10 図書 Logic programming and non-monotonic reasoning : proceedings of the first international workshop

Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming

MIT Press
5 図書 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings

Dix, J. (Jürgen), 1961-, International Workshop on Nonmonotonic and Inductive Inference, Jantke, Klaus P., Schmitt, P. &hellip;

Springer-Verlag
11 図書 Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings

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

Springer-Verlag
6 図書 Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

Brewka, Gerhard, Jantke, Klaus P., Schmitt, P. H. (Peter H.), 1948-, International Workshop on Nonmonotonic and &hellip;

Springer-Verlag
12 図書 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