関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Logicprogramming
選択行を：
| 資料名 | 所在 |
| 1 | Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) / edited by Hartmut Ehrig ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2). | 理数学 007.6:T:2 |
| 2 | Computing with logic : logic programming with Prolog / David Maier, David S. Warren. -- Benjamin/Cummings Pub. Co., c1988. | 図書館(書庫) 007.6:M |
| 3 | Constructing logic programs / edited by Jean-Marie Jacquet. -- Wiley, c1993. -- (Wiley professional computing). | 教養共５Ｆ英語 007.6:C |
| 4 | Deduction methodologies / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann. -- Clarendon Press, . -- (Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2). | 工情報 007.6:H:2 |
| 5 | Epistemic and temporal reasoning / edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony Galton. -- Clarendon Press, . -- (Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 4). | 図書館(書庫) 007.1:E
工情報 007.6:H:4 |
| 6 | Essentials of logic programming / Christopher John Hogger ; :, : pbk, . -- Clarendon Press, . -- (Graduate texts in computer science ; 1). | 図書館(書庫) 007.6:H |
| 7 | Foundations of deductive databases and logic programming / contributors, Krzysztof R. Apt ... [et al.] ; edited by Jack Minker. -- M. Kaufmann Publishers, c1987. | 工情報 007.6:M |
| 8 | From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 271). | 理数学 007.6:S |
| 9 | From modal logic to deductive databases : introducing a logic based approach to artificial intelligence / editor, André Thayse ; authors, Paul Gochet ... [et al.], with the collaboration of Philippe Delsarte. -- Wiley, c1989. | 教養共５Ｆ英語 007.1:F |
| 10 | An introduction to default logic / Philippe Besnard ; : us, : gw. -- Springer-Verlag, c1989. -- (Symbolic computation ; . Artificial intelligence). | 教養共５Ｆ英語 401:B |
選択行を：
|