Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings

>> Amazon.co.jp

このページのQRコード

Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings

種類:

図書

責任表示:

Dino Pedreschi, Carlo Zaniolo (eds.)

出版情報:

Berlin ; Tokyo : Springer, c1996

著者名:

シリーズ名:

Lecture notes in computer science ; 1154 <BA00009279>

ISBN:

9783540618140 [3540618147]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

主題:	Database management--Congresses; Deductive databases--Congresses; Logic programming--Congresses
分類・件名:	LCC : QA76.9.D3 DDC : 005.74/01/5113 LCSH : Database management -- Congresses LCSH : Deductive databases -- Congresses LCSH : Logic programming -- Congresses
LCCN:	96041820
TTLL:	eng
言語:	英語
形態:	x, 495 p. : ill. ; 24 cm
書誌ID:	BA28614614

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logic in Databases : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings Pedreschi, Dino, Zaniolo, Carlo, SpringerLink (Online service) Springer-Verlag	7 図書 Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, … International Workshop on Logic Program Synthesis and Transformation, Deville, Yves, 1960-, British Computer Society Springer-Verlag
2 電子ブック Logic in Databases : International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings Pedreschi, Dino., Zaniolo, Carlo., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 図書 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings Dix, J. (Jürgen), 1961-, International Workshop on Nonmonotonic and Inductive Inference, Jantke, Klaus P., Schmitt, P. … Springer-Verlag
3 図書 Database issues for data visualization : IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993 : proceedings IEEE Conference on Visualization, Lee, John P. (John Peter), Grinstein, Georges G Springer-Verlag	9 図書 Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : … International Workshop on Logic Program Synthesis and Transformation, Fribourg, Laurent, 1957-, Turini, Franco, 1949-, … Springer-Verlag
4 図書 Rules in database systems : Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25-27, 1995 : proceedings International Workshop on Rules in Database Systems, Sellis, Timos Springer	10 図書 Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948- Springer-Verlag
5 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming Springer-Verlag	11 図書 Deductive and object-oriented databases : fourth international conference, DOODʾ95, Singapore, December 4-7, 1995 : proceedings International Conference on Deductive and Object-Oriented Databases, Ling, Tok Wang, Mendelzon, Alberto O., Vieille, … Springer
6 図書 Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings TABLEAUX, Miglioli, Pierangelo Springer	12 図書 Logic programming and non-monotonic reasoning : proceedings of the first international workshop Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming MIT Press