選択資料から書架並びで前後20冊ずつを表示します。
Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds
書庫2階
Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
書庫2階
Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
書庫2階
Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings / J. Dix, K.P. Jantke, P.H. Schmitt, eds
書庫2階
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
書庫2階
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)
書庫2階
Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.)
書庫2階
Over-constrained systems / Michael Jampel, Eugene Freuder, Michael Maher, (eds)
書庫2階
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.)
書庫2階
Algebraic specification techniques in object oriented programming environments / R. Breu
書庫2階
Building application frameworks : object-oriented foundations of framework design / [editors], Mohamed E. Fayad, Douglas C. Schmidt, Ralph E. Johnson
書庫2階
The interpretation of object-oriented programming languages / Iain Craig
書庫2階
Concurrent object-oriented programming and Petri nets : advances in Petri nets / Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
書庫2階
Engineering distributed objects : second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papers / Wolfgang Emmerich, Stefan Tai (eds.)
書庫2階
ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings / J. Bézivin ... [et al.] (eds.)
書庫2階