TY - BOOK ID - 9061161 TI - Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers AU - Wirsing, Martin. AU - Pattinson, Dirk. AU - Hennicker, Rolf. AU - WADT 2002 PY - 2003 SN - 3540400206 3540205373 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer software KW - Computer science KW - Abstract data types (Computer science) KW - Computer Science KW - Engineering & Applied Sciences KW - Development KW - Mathematics KW - Computer science. KW - Software engineering. KW - Computer logic. KW - Mathematical logic. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Logics and Meanings of Programs. KW - Computer Science, general. KW - Software Engineering. KW - Mathematical Logic and Formal Languages. KW - Symbolic and Algebraic Manipulation. KW - Mathematics. KW - Logic design. KW - Algebra KW - Data processing. KW - Informatics KW - Science KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Computer software engineering KW - Engineering KW - Computer science—Mathematics. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism UR - https://www.unicat.be/uniCat?func=search&query=sysid:9061161 AB - ER -