Foundations of disjunctive logic programming

Foundations of disjunctive logic programming

フォーマット:

図書

責任表示:

Jorge Lobo, Jack Minker, Arcot Rajasekar

言語:

英語

出版情報:

Cambridge, Mass. : MIT Press, c1992

形態:

307 p. ; 24 cm

著者名:

シリーズ名:

Logic programming <BA07047811>

書誌ID:

BA14248416

ISBN:

9780262121651 [0262121654]

子書誌情報

所蔵情報

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

書誌詳細

主題:	Logic programming (Computer science)
分類・件名:	LCC : QA76.63 DDC : 005.1 LCSH : Logic programming (Computer science)
LCCN:	91045730
注記:	Includes bibliographical references and indexes
タイトル言語:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Foundations of deductive databases and logic programming Apt, Krzysztof R., 1949-, Minker, Jack M. Kaufmann Publishers	7 図書 Foundations of logic programming Lloyd, J. W. (John Wylie), 1947- Springer-Verlag
2 図書 Logic-based artificial intelligence Minker, Jack Kluwer Academic Publishers	8 図書 Foundations of logic programming Lloyd, J. W. (John Wylie), 1947- Springer-Verlag
3 図書 Logic and objects McCabe, F. G. (Frank G.), 1953- Prentice Hall	9 図書 Foundations of programming Arsac, Jacques Academic Press
4 図書 Logic and data bases Symposium on Logic and Data Bases, Gallaire, Hervé, Minker, Jack Plenum Press	10 図書 Pattern recognition: introduction and foundations Sklansky, Jack Dowden, Hutchinson & Ross
5 図書 Foundations of inductive logic programming Nienhuys-Cheng, Shan-Hwei, Wolf, Ronald de Springer	11 図書 Logic and programming Parent, Michel, Laurgeau, Claude Kogan Page
6 図書 Foundations of equational logic programming Hölldobler, Steffen, 1957- Springer-Verlag	12 図書 Logic programming MIT Press