Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings | 名古屋工業大学図書館蔵書検索（名工大OPAC）

>> Google Books

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

フォーマット:

図書

責任表示:

Jacques Calmet, Carla Limongelli (eds.)

言語:

英語

出版情報:

Berlin : Springer, c1996

形態:

ix, 356 p. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 1128 <BA00009279>

書誌ID:

BA28363762

ISBN:

9783540616979 [3540616977]

子書誌情報

所蔵情報

Loading availability information

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

詳細

主題:	Automatic theorem proving--Congresses; Mathematics--Data processing--Congresses; System design--Congresses
分類・件名:	LCC : QA76.9.S88 DDC : 005.1/31 LCSH : System design -- Congresses LCSH : Automatic theorem proving -- Congresses LCSH : Mathematics -- Data processing -- Congresses
LCCN:	96038259
注記:	Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings International Symposium on Design and Implementation of Symbolic Computation Systems, Miola, A. (Alfonso), 1944-, … Springer-Verlag	7 図書 Systems design for, with, and by the users : proceedings of the IFIP WG 9.1 Working Conference on Systems Design for, with, and by the Users, Riva del Sole, … IFIP WG 9.1 Working Conference on Systems Design for, with, and by the Users (1982 : Riva del Sole, Italy), Briefs, … North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
2 図書 Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings International Symposium on Design and Implementation of Symbolic Computation Systems, Miola, A. (Alfonso), 1944- Springer-Verlag	8 図書 Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-, Pfalzgraf, Jochen Springer
3 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings International Symposium on Design and Implementation of Symbolic Computation Systems, Fitch, John, 1945- Springer-Verlag	9 図書 Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : … IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Kumar, … Springer
4 図書 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940- Springer-Verlag	10 図書 Advances in databases and information systems : Second East European Symposium, ADBIS'98, Poznań, Poland, September 7-10, 1998 : proceedings ADBIS, Litwin, W. (Witold), 1946-, Morzy, Tadeusz, 1954-, Vossen, Gottfried Springer
5 図書 Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings International Conference AISC, Calmet, Jacques, 1941-, Plaza, Jan Springer	11 図書 Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on … TACAS, Graf, Susanne, Schwartzbach, Michael I, European Conferences on Theory and Practice of Software Springer
6 図書 Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings International Symposium ISSAC, Gianni, Patrizia, 1952-, AAECC Springer-Verlag	12 電子ブック Artificial Intelligence and Symbolic Computation : 8th International Conference AISC 2006 Beijing China September 20-222006 Proceedings Calmet Jaques, Wang Dongming, Ida Tetsuo, SpringerLink (Online service) Springer-Verlag GmbH.