関連資料一覧:(本学所蔵)
検索条件
件名: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). | 教養共5F英語 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. | 教養共5F英語 007.1:F |
10 | An introduction to default logic / Philippe Besnard ; : us, : gw. -- Springer-Verlag, c1989. -- (Symbolic computation ; . Artificial intelligence). | 教養共5F英語 401:B |
選択行を:
|