Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報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

形態:

x, 495 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1154 <BA00009279>

著者名:

ISBN:

9783540618140 [3540618147]

書誌ID:

BA28614614

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Database management--Congresses; Deductive databases--Congresses; Logic programming--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, … International Seminar on Logic Database and the Meaning of Change, Freitag, Burkhard, 1953-, Post-Conference Workshop on … Springer	7 図書 Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers ILP, Muggleton, Stephen Springer
2 電子ブック Logic in Databases Pedreschi, Pedreschi, Dino, Zaniolo, Carlo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers (: kart) NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947- Springer
3 図書 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	9 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings (: gw ; : us) Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming Springer-Verlag
4 図書 Advances in database technology - EDBT 2000 : 7th International Conference on Extending Database Technology, Konstanz, Germany, March 27-31, 2000 : proceedings International Conference on Extending Database Technology, Zaniolo, Carlo, Lockemann, Peter Christian, 1935-, Scholl, … Springer	10 図書 Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings (: gw ; : us) International Workshop on Extensions of Logic Programming, Lamma, E. (Evelina), 1960-, Mello, P. (Paula), 1958- Springer-Verlag
5 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario) Springer	11 図書 Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings International Conference on Logic Programming, Stuckey, Peter J. Springer
6 図書 Proceedings : Eighth International Workshop on Database and Expert Systems Applications, September 1-2, 1997, Toulouse, France (: pbk ; : case) Database and Expert Systems Applications Conference, Wagner, Roland R., Institut pour la recherche en informatique de … IEEE Computer Society Press	12 図書 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings (: gw ; : us) Dix, J. (Jürgen), 1961-, International Workshop on Nonmonotonic and Inductive Inference, Jantke, Klaus P., Schmitt, P. … Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12