選択資料から書架並びで前後20冊ずつを表示します。
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.)
書庫2階
Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.)
書庫2階
Logic programming : expanding the horizons / edited by Tony Dodd, Richard Owens, Steve Torrance
U.S
書庫2階
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階