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

種類:

電子ブック

責任表示:

edited by Dino Pedreschi, Carlo Zaniolo

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1996

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 1154

ISBN:

9783540706830 [3540706836]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/BFb0031733

所蔵情報

子書誌情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Database Management; Information Storage and Retrieval; Mathematical Logic and Formal Languages
分類・件名:	LCSH : Computer science LCSH : Database management LCSH : Information storage and retrieval systems LCSH : Artificial intelligence FREE : Computer Science FREE : Database Management FREE : Mathematical Logic and Formal Languages FREE : Information Storage and Retrieval FREE : Artificial Intelligence (incl. Robotics)
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006787

内容紹介

目次情報

類似資料:

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 Berlin Heidelberg : Imprint: Springer	7 電子ブック Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M. M., SpringerLink (Online service) Springer-Verlag
2 図書 Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings International Workshop on Logic in Databases, Pedreschi, Dino, Zaniolo, Carlo Springer	8 電子ブック CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings Börger, Egon, Büning, Hans Kleine, Richter, Michael M., SpringerLink (Online service) Springer-Verlag
3 電子ブック Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings Wirsing, Martin, Nivat, Maurice, SpringerLink (Online service) Springer-Verlag	9 電子ブック Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings Gabbay, Dov M., Ohlbach, Hans Jürgen, SpringerLink (Online service) Springer-Verlag
4 電子ブック Advances in Database Technology — EDBT '96 : 5th International Conference on Extending Database Technology Avignon, France, March 25–29, 1996 Proceedings Apers, Peter, Bouzeghoub, Mokrane, Gardarin, Georges, SpringerLink (Online service) Springer-Verlag	10 電子ブック Principles and Practice of Constraint Programming — CP96 : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings Freuder, Eugene C., SpringerLink (Online service) Springer-Verlag
5 電子ブック Database and Expert Systems Applications : 7th International Conference, DEXA '96 Zurich, Switzerland, September 9–13, 1996 Proceedings Wagner, Roland R., Thoma, Helmut, SpringerLink (Online service) Springer-Verlag	11 電子ブック Database and Expert Systems Applications : 6th International Conference, DEXA '95 London, United Kingdom, September 4–8, 1995 Proceedings Revell, Norman, Tjoa, A Min, SpringerLink (Online service) Springer-Verlag
6 電子ブック Advances in Database Technology — EDBT '90 : International Conference on Extending Database Technology Venice, Italy, March 26–30, 1990 Proceedings Bancilhon, François, Thanos, Constantino, Tsichritzis, Dennis, SpringerLink (Online service) Springer-Verlag	12 電子ブック Advances in Database Technology — EDBT '92 : 3rd International Conference on Extending Database Technology Vienna, Austria, March 23–27, 1992 Proceedings Pirotte, Alain, Delobel, Claude, Gottlob, Goerg, SpringerLink (Online service) Springer-Verlag