Logic programming : formal methods and practical applications

このページのQRコード

種類:

図書

責任表示:

edited by Christoph Beierle, Lutz Plümer

出版情報:

Amsterdam [Netherlands] ; Tokyo : Elsevier, 1995

著者名:

シリーズ名:

ISBN:

9780444820921 [0444820922]

注記:

Includes bibliographical references

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Logic programming
分類・件名:	LCC : QA76.63 DDC : 005.1/1 LCSH : Logic programming
LCCN:	94040114
TTLL:	eng
言語:	英語
形態:	xiv, 404 p. : ill. ; 25 cm
書誌ID:	BA24114722

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Termination proofs for logic programs Plümer, Lutz, 1951- Springer-Verlag	7 図書 Implementations of logic programming systems Tick, Evan, 1959-, Succi, Giancarlo, 1964- Kluwer Academic Publishers
2 図書 Logic programming and its applications Warren, David H. D., Van Caneghem, Michel Ablex Publishing	8 図書 Handbook of logic in artificial intelligence and logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press
3 図書 From logic to logic programming Doets, Kees MIT Press	9 図書 Interactive relational database design : a logic programming implementation Bagchi, Tapan P., Chaudhri, Vinay K. Springer-Verlag
4 図書 Meta-logics and logic programming Apt, Krzysztof R., 1949-, Turini, Franco, 1949- MIT Press	10 図書 Conclog : a methodological approach to concurrent logic programming Jacquet, Jean-Marie Springer-Verlag
5 図書 Foundations of logic programming Lloyd, J. W. (John Wylie), 1947- Springer-Verlag	11 図書 Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised … CCL, Comon, Hubert, Marché, Claude, Treinen, Ralf Springer
6 図書 Foundations of equational logic programming Hölldobler, Steffen, 1957- Springer-Verlag	12 電子ブック Termination Proofs for Logic Programs Plümer, Lutz, SpringerLink (Online service) Springer-Verlag