>> Amazon.co.jp
このページのQRコード

Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming

種類:
図書
責任表示:
edited by Lee Naish
出版情報:
Cambridge, Mass. : MIT Press, c1997
著者名:
シリーズ名:
Logic programming <BA07047811>
ISBN:
9780262640350 [026264035X]  CiNii Books  Calil
注記:
'Papers presented at ICL'97, the Fourteenth International Conference on Logic Programming, held in Leuven, Belgium, July 8-11, 1997'--Pref
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic programming : proceedings of the Twelfth International Conference on Logic Programming

Sterling, Leon

MIT Press
7 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings

Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming

Springer-Verlag
2 図書 Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming

International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming

MIT Press
8 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

LPAR, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
3 図書 Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, …

International Workshop on Logic Program Synthesis and Transformation, Deville, Yves, 1960-, British Computer Society

Springer-Verlag
9 図書 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
4 図書 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
10 図書 Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

LPAR, Ganzinger, Harald, 1950-, McAllester, David, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
5 図書 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

International Conference on Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940-

Springer-Verlag
11 図書 Inductive logic programming : 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings

Page, David, ILP '98

Springer
6 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario)

Springer-Verlag
12 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, Workshop on &hellip;

Springer-Verlag