close
1.

図書
図書
1. Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1999  xii, 395 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999  x, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
目次情報: 続きを見る
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
Partial Evaluation and Non-interference for Object Calculi / Gilles Barthe ; Bernard P. Serpette
Lazy Lexing is Fast / Manuel M. T. Chakravarty
A Functional-Logic Perspective of Parsing / Rafael Caballero ; Francisco J. López-Fraguas
Implementing Encapsulated Search for a Lazy Functional Logic Language / Wolfgang Lux
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers / Armin Kühnemann
Automatic Verification Based on Abstract Interpretation / Mizuhito Ogawa
A Transformation System for Lazy Functional Logic Programs / María Alpuente ; Moreno Falaschi ; Ginés Moreno ; Germán Vidal
Termination Analysis of Tabled Logic Programs Using Mode and Type Information / Sofie Verbaeten ; Danny De Schreye
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems / Enno Ohlebusch
An Interval Lattice-Based Constraint Solving Framework for Lattices / Antonio J. Fernández ; Patricia M. Hill
Higher Order Matching for Program Transformation / Oege de Moor ; Ganesh Sittampalam
Automated Generalisation of Function Definitions / Adam Bakewell ; Colin Runciman
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping / Olivier Danvy
Using Types as Approximations for Type Checking Prolog Programs / Christoph Beierle ; Gregor Meyer
Typed Static Analysis: Application to Groundness Analysis of Prolog and ?Prolog / Olivier Ridoux ; Patrice Boizumault ; Frédéric Malésieux
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs / Ernie Johnson ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Prasad Rao
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code / Atsushi Ohori
On Reducing the Search Space of Higher-Order Lazy Narrowing.. / Mircea Marin ; Tetsuo Ida ; Taro Suzuki
Typed Higher-Order Narrowing without Higher-Order Strategies / Sergio Antoy ; Andrew Tolmach
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages / Michael Hanus ; Salvador Lucas
Author Index
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
3.

図書
図書
3. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
出版情報: Berlin : Springer, c1999  xi, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
Locally Determined Logic Programs / D. Cenzer ; J. B. Remmel ; A. Vanderbilt
Annotated Revision Programs / V. Marek ; I. Pivkina ; M. Truszczynski
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning / J. Sefranek
An Argumentation Framework for Reasoning about Actions and Changes / A. Kakas ; R. Miller ; F. Toni
Representing Transition Systems by Logic Programs / V. Lifschitz ; H. Turner
Transformations of Logic Programs Related to Causality and Planning / E. Erdem
From Causal Theories to Logic Programs (Sometimes) / F. Lin ; K. Wang
Monotone Expansion of Updates in Logical Databases / M. Dekhtyar ; A. Dikovsky ; S. Dudakov ; N. Spyratos
Updating Extended Logic Programs through Abduction / C. Sakama ; K. Inoue
LUPS - A Language for Updating Logic Programs / J. J. Alferes ; L. M. Pereira ; H. Przymusinska ; T. Przymusinski
Pushing Goal Derivation in DLP Computations / W. Faber ; N. Leone ; G. Pfeifer
Linear Tabulated Resolution for Well Founded Semantics / Y. Shen ; L. Yuan ; J. You ; N. Zhou
A Case Study in Using Preference Logic Grammars for Knowledge Representation / B. Cui ; T. Swift ; D. S. Warren
Minimal Founded Semantics for Disjunctive Logic Programming / S. Greco
On the Role of Negation in Choice Logic Programs / M. De Vos ; D. Vermeir
Approximating Reiter's Default Logic / T. Linke ; T. Schaub
Coherent Well-founded Annotated Logic Programs / C. V. Damasio
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics / T. Lukasiewicz
Extending Disjunctive Logic Programming by T-norms / C. Mateis
Extending the Stable Model Semantics with More Expressive Rules / P. Simons
Stable Model Semantics for Weight Constraint Rules / I. Niemelä ; T. Soininen
Towards First-Order Nonmonotonic Reasoning / R. Rosati
Comparison of Sceptical NAF-Free Logic Programming Approaches / G. Antoniou ; M.J. Maher ; Billington ; G. Governatori
Characterizations of Classes of Programs by Three-Valued Operators / P. Hitzler ; A. K. Seda
Invited Talks
Using LPNMR for Problem Specification and Code Generation (Abstract) / M. Cadoli
Answer Set Planning (Abstract)
World-Modeling vs. World-Axiomatizing / D. McAllester
Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to Solve Real-World Problems / L. Morgenstern
Author Index
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
4.

図書
図書
4. Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming
edited by Lee Naish
出版情報: Cambridge, Mass. : MIT Press, c1997  xvii, 426 p. ; 23 cm
シリーズ名: Logic programming
所蔵情報: loading…
5.

図書
図書
5. Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
Stephen Muggleton, (ed.)
出版情報: Berlin ; New York : Springer, c1997  viii, 396 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1314 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書
図書
6. Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Nada Lavrač, Sašo Džeroski, (eds.)
出版情報: Berlin ; New York : Springer, c1997  viii, 308 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1297 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. 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.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997  x, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1298
所蔵情報: loading…
8.

図書
図書
8. Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
David Page (ed.)
出版情報: Berlin : Springer, c1998  viii, 299 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1446 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
Burkhard Freitag ... [et al.], ed.
出版情報: Berlin ; New York : Springer, c1998  x, 396 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1472
所蔵情報: loading…
10.

図書
図書
10. 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
出版情報: Berlin : Springer, c1998  viii, 246 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1471 . Lecture notes in artificial intelligence
所蔵情報: loading…
11.

図書
図書
11. Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
Norbert E. Fuchs (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998  x, 342 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1463
所蔵情報: loading…
12.

図書
図書
12. Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers (: kart)
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
出版情報: Berlin : Springer, c1997  xii, 224 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1216 . Lecture notes in artificial intelligence
所蔵情報: loading…
13.

図書
図書
13. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)
出版情報: Berlin : Springer, c1997  x, 452 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1265 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書
図書
14. Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings
Michael Fisher, Richard Owens (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  180 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 897 . Lecture notes in artificial intelligence
所蔵情報: loading…
15.

図書
図書
15. Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
Michael Hanus, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1139
所蔵情報: loading…
16.

図書
図書
16. Fuji International Workshop on Functional and Logic Programming : Susono, Japan, July 17-19, 1995
editors, Masato Takeichi, Tetsuo Ida
出版情報: Singapore ; River Edge, N.J. : World Scientific, c1995  x, 329 p. ; 23 cm
所蔵情報: loading…
17.

図書
図書
17. Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)
International Workshop on Logic Program Synthesis and Transformation ; Proietti, Maurizio, 1959-
出版情報: Berlin ; New York ; Tokyo : Springer, c1996  x, 266 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1048
所蔵情報: loading…
18.

図書
図書
18. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
P. Miglioli ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  x, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1071 . Lecture notes in artificial intelligence
所蔵情報: loading…
19.

図書
図書
19. Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  xi, 466 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 982
所蔵情報: loading…
20.

図書
図書
20. Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings (: gw ; : us)
V.W. Marek, A. Nerode, M. Truszczyński (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995  viii, 415 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 928 . Lecture notes in artificial intelligence
所蔵情報: loading…
21.

図書
図書
21. Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995  x, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 918 . Lecture notes in artificial intelligence
所蔵情報: loading…
22.

図書
図書
22. Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings
Dino Pedreschi, Carlo Zaniolo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  x, 495 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1154
所蔵情報: loading…
23.

図書
図書
23. Logic programming : proceedings of the Twelfth International Conference on Logic Programming
edited by Leon Sterling
出版情報: Cambridge, Mass. ; London : MIT Press, c1995  xx, 834 p. ; 23 cm
シリーズ名: Logic programming
所蔵情報: loading…
24.

図書
図書
24. Proof and computation
edited by Helmut Schwichtenberg
出版情報: Berlin ; New York : Springer-Verlag, 1995  470 p. ; 25 cm
シリーズ名: NATO ASI series ; Ser. F . Computer and systems sciences ; v. 139
所蔵情報: loading…
25.

図書
図書
25. Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings (: gw ; : us)
J. Maluszyński, M. Wirsing, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  xi, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 528
所蔵情報: loading…
26.

図書
図書
26. 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 (: gw ; : us)
A. Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  ix, 514 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence
所蔵情報: loading…
27.

図書
図書
27. Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings (: gw ; : us)
L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992  369 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 596 . Lecture notes in artificial intelligence
所蔵情報: loading…
28.

図書
図書
28. Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings (: gw ; : us)
A. Voronkov, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992  xiv, 509 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 624 . Lecture notes in artificial intelligence
所蔵情報: loading…
29.

図書
図書
29. Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings (: gw ; : us)
J. Dix, K.P. Jantke, P.H. Schmitt, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 243 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 543 . Lecture notes in artificial intelligence
所蔵情報: loading…
30.

図書
図書
30. Logic, algebra, and computation (: Berlin ; : New York)
edited by Friedrich L. Bauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  485 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and system sciences ; v. 79
所蔵情報: loading…
31.

図書
図書
31. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings (: gw ; : us)
A. Pettorossi (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  xii, 351 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 649
所蔵情報: loading…
32.

図書
図書
32. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings (: gw ; : us)
E. Lamma, P. Mello (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  viii, 417 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 660 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書
図書
33. Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (: gw ; : us)
K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 183 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 485 . Lecture notes in artificial intelligence
所蔵情報: loading…
34.

図書
図書
34. Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings (: gw ; : us)
M. Bruynooghe, M. Wirsing, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992  xi, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 631
所蔵情報: loading…
35.

図書
図書
35. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings (: gw ; : us)
H. Kirchner, G. Levi (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  ix, 457 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 632
所蔵情報: loading…
36.

図書
図書
36. Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings (: gw ; : us)
G. Comyn, N.E. Fuchs, M. Ratcliffe (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  x, 324 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 636 . Lecture notes in artificial intelligence
所蔵情報: loading…
37.

図書
図書
37. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings (: gw ; : us)
J. van Eijck (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  ix, 561 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 478 . Lecture notes in artificial intelligence
所蔵情報: loading…
38.

図書
図書
38. Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings (: gw ; : us)
P. Schroeder-Heister (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 364 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 475 . Lecture notes in artificial intelligence
所蔵情報: loading…
39.

図書
図書
39. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings (: gw ; : us)
H. Kirchner, W. Wechler (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  vii, 386 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 463
所蔵情報: loading…
40.

図書
図書
40. Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings (: gw ; : us)
P. Deransart, J. Małuszyński, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  viii, 401 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 456
所蔵情報: loading…
41.

図書
図書
41. Logic programming : proceedings of the 1993 International Symposium
edited by Dale Miller
出版情報: Cambridge, Mass. : MIT Press, c1993  xxii, 686 p. ; 23 cm
シリーズ名: Logic programming
所蔵情報: loading…
42.

図書
図書
42. Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw)
Maurice Bruynooghe, Jaan Penjam, eds
出版情報: Berlin ; New York : Springer-Verlag, c1993  xi, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 714
所蔵情報: loading…
43.

図書
図書
43. Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
Laurent Fribourg, Franco Turini (Eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  ix, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 883
所蔵情報: loading…
44.

図書
図書
44. Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings (: gw ; : us)
Roy Dyckhoff (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994  viii, 360 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 798 . Lecture notes in artificial intelligence
所蔵情報: loading…
45.

図書
図書
45. Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings (: gw ; : us)
Frank Pfenning (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  x, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 822 . Lecture notes in artificial intelligence
所蔵情報: loading…
46.

図書
図書
46. Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings (: us ; : gw)
Manuel Hermenegildo, Jaan Penjam, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xii, 468 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 844
所蔵情報: loading…
47.

図書
図書
47. Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 850
所蔵情報: loading…
48.

図書
図書
48. Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings (: gw ; : us)
G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  viii, 332 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 659 . Lecture notes in artificial intelligence
所蔵情報: loading…
49.

図書
図書
49. Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings (: gw ; : us)
Andrei Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xiii, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 698 . Lecture notes in artificial intelligence
所蔵情報: loading…
50.

図書
図書
50. Logic programming : Proceedings of the Tenth International Conference on Logic Programming
edited by David S. Warren
出版情報: Cambridge, Mass. : MIT Press, c1993  xx, 854 p. ; 23 cm
シリーズ名: Logic programming
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼