Latombe, Jean-Claude (ed.) [Warman, E. A.; Sandewall, E.; Nagao, M.; Akin, O.; Fenves, S.; Norabhoompipat, T.; Perkowski, M.; Pereira, L. M.; Henrion, M.; Tyugu, E. H.; Reed, W. S.; McDermott, D.; Sussman, G. J.; Rieger, C.; Grinberg, M.; Eastman, C. M.; Vamos, T.; Lafue, G.; Liardet, M.; Holmes, C.; Rosenthal, D.; Cugini, U.; Mussio, P.; Cavagna, C.; Meraviglia, A.; Kakumoto, S.; Fujimoto, Y.; Kawasaki, J.; Mohr, R.; Masini, G.] Artificial intelligence and pattern recognition in computer aided design. Proceedings of the IFIP working conference organized by working group 5.2, computer aided design, Grenoble, France, March 17-19, 1978. (English) Zbl 0406.68065 Amsterdam, New York, Oxford: North-Holland Publishing Company. X, 510 p. $ 60.00; Dfl. 135.00 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68Txx Artificial intelligence 94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010) 00Bxx Conference proceedings and collections of articles 68-06 Proceedings, conferences, collections, etc. pertaining to computer science Keywords:Artificial Intelligence; Pattern; Recognition; Computer Aided Design; Problem Solver; Logic Design of Digital Systems; Planar Polygon; Automatic Space-Planning in Architecture; Learning; Theorem Prover; Electronic Circuit Design; Integrated Data Bases PDFBibTeX XML