選択資料から書架並びで前後20冊ずつを表示します。
Secure internet programming : security issues for mobile and distributed objects / Jan Vitek, Christian D. Jensen, eds.
書庫2階
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira
書庫2階
Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)
書庫2階
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階