選択資料から書架並びで前後20冊ずつを表示します。
Algebraic and logic programming : 6th International Joint Conference ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke (Eds.)
書庫2階
A tight, practical integration of relations and functions / Harold Boley
書庫2階
Constraint logic programming : selected research / edited by Frédéric Benhamou and Alain Colmerauer
書庫2階
A grammatical view of logic programming / Pierre Deransart and Jan Małuszyński
書庫2階
Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello (eds.)
書庫2階
Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / Roy Dyckhoff (ed.)
書庫2階
Extentions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / Roy Dyckhoff ... [et al.], (eds.)
書庫2階
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings / P. Schroeder-Heister (ed.)
書庫2階
Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.)
書庫2階
Logical foundations / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
書庫2階
Deduction methodologies / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
書庫2階
Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
書庫2階
Epistemic and temporal reasoning / edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony Galton
書庫2階
Logic programming / edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson
書庫2階
Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers / Stephen Muggleton, (ed.)
書庫2階
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings / Nada Lavrač, Sašo Džeroski, (eds.)
書庫2階
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page (ed.)
書庫2階
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings / Sašo Džeroski, Peter Flach (eds.)
書庫2階