“…Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. …”

“…This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. …”

Tabla de Contenidos: “…Cover -- Title Page -- Contents -- Introduction -- 01 Accessibility -- 02 Acoustics -- 03 Adaptability -- 04 Adjacency -- 05 Alignment -- 06 Anchoring -- 07 Aperture -- 08 Asymmetry -- 09 Balance -- 10 Biomimicry -- 11 Biophilia -- 12 Character -- 13 Circular Design -- 14 Circulation -- 15 Codes -- 16 Collaboration -- 17 Color Palette -- 18 Color Scheme -- 19 Color Theory -- 20 Composition -- 21 Connection -- 22 Contrast -- 23 Craft -- 24 Creativity -- 25 Depth -- 26 Design Process -- 27 Detail -- 28 Discovery -- 29 Durability -- 30 Egress -- 31 Emphasis -- 32 Ergonomics -- 33 Finishes -- 34 Form -- 35 Function -- 36 Furniture -- 37 Geometry -- 38 Gradation -- 39 Grid -- 40 Harmony -- 41 Health, Safety, and Welfare -- 42 Hierarchy -- 43 History -- 44 Hue -- 45 Human-Centered Design -- 46 Human Scale -- 47 Hybridization -- 48 Inclusivity -- 49 Innovation -- 50 Inspiration -- 51 Layering -- 52 Lighting -- 53 Line -- 54 Materiality -- 55 Measurement -- 56 Modeling -- 57 Modularity -- 58 Monochrome -- 59 Mood -- 60 Movement -- 61 Natural Lighting -- 62 Occupancy -- 63 Organic -- 64 Orientation -- 65 Pattern -- 66 Perspective -- 67 Philosophy -- 68 Placement -- 69 Preservation -- 70 Program -- 71 Proportion -- 72 Prototyping -- 73 Ratio -- 74 Red Thread -- 75 Regionalism -- 76 Representation -- 77 Rhythm -- 78 Rule of Thirds -- 79 Scale -- 80 Shape -- 81 Sight Lines -- 82 Social Impact -- 83 Space -- 84 Specifications -- 85 Storytelling -- 86 Styling -- 87 Surface -- 88 Sustainability -- 89 Symbolism -- 90 Symmetry -- 91 Technology -- 92 Texture -- 93 Tone -- 94 Transparency -- 95 Typology -- 96 Unity -- 97 Universal Design -- 98 Volume -- 99 Wayfinding -- 100 Zones -- Acknowledgments -- Index -- Credits -- Authors -- Copyright…”

“…This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, the 39th Symposium on Principles of Programming Languages. …”