CAD systems using AI techniques : proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan, 6-7 June, 1989

所蔵情報QRコード

CAD systems using AI techniques : proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan, 6-7 June, 1989 / edited by G. Odawara

資料種別:

図書

出版情報:

Amsterdam ; New York : North-Holland
New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science, 1989

形態:

xi, 229 p. ; 23 cm

著者名:

ISBN:

9780444883193 [0444883193]

書誌ID:

BA09947187

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references and author index
著者名ヨミ:	オダワラ, ゴウタロウ
主題:	Artificial intelligence--Congresses; Computer-aided design--Congresses; Expert systems (Computer science)--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Intelligent CAD, III : selected and reviewed papers and reports from the IFIP TC/WG5.2 Third International Workshop on Computer Aided Design, Osaka, Japan, … IFIP TC5/WG5.2 International Workshop on Computer Aided Design, 吉川, 弘之(1933-), Arbab, F. (Farhad) North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.	7 図書 CAD systems : proceedings of the IFIP Working Conference on Computer-Aided Design Systems IFIP Working Conference on Computer-Aided Design Systems, Allan, John J., IFIP Technical Committee 5--Computer … North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier/North-Holland
2 図書 Expert systems in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Expert Systems in Computer-Aided Design, Sydney (Jenolan Caves), … IFIP WG 5.2 Working Conference on Expert Systems in Computer-Aided Design, Gero, John S. (John Steven), 1943- North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	8 図書 Proceedings : Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering : October 16-18, 1989, National Institute of … International Conference on Data and Knowledge Systems for Manufacturing and Engineering, ACM Special Interest Group for … IEEE Computer Society Press
3 図書 Knowledge intensive design technology : IFIP TC5/WG5.2 Fifth Workshop on Knowledge Intensive CAD, July 23-25, 2002, St. Julians, Malta IFIP TC5/WG5.2 Workshop on Knowledge Intensive CAD, Borg, Jonathan C., Farrugia, Philip J., Camilleri, Kenneth P., … Kluwer Academic	9 図書 Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : … Advanced Research Working Conference on Correct Hardware Design Methodologies, Camurati, Paolo, Eveking, Hans Springer
4 図書 Intelligent computer aided design : proceedings of the IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91), Columbus, OH, USA, 30 … IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design, Brown, David C., 1947-, Waldron, M. B., 吉川, … North-Holland	10 図書 Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Staunstrup, J. (Jørgen), 1952-, Sharp, Robin, 1942- North-Holland, Elsevier Science [distributor]
5 図書 Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and … IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, … North-Holland	11 図書 Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Claesen, Luc J. M., … North-Holland, Distributed for the U.S. and Canada, Elsevier Science Pub. Co.
6 図書 Concepts and characteristics of knowledge-based systems : selected and reviewed papers from the IFIP TC 10/WG 10.1 workshop, Mount Fuji, Japan, 9-12 November, … 所, 真理雄(1947-), 安西, 祐一郎(1946-), 米沢, 明憲(1947-), IFIP TC-10, International Federation for … North-Holland, Distributors for the U. S. and Canada, Elsevier Science Pub. Co.	12 図書 Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Claesen, Luc J. M., … North-Holland, Distributed in the U.S. and Canada, Elsevier Science Pub. Co.

1

2

3

4

5

6

7

8

9

10

11

12