TY - BOOK ID - 1128453 TI - Mathematical foundations of computer science 1975. 4th symposium, Marianske Lazne, Sept. 1-5, 1975 PY - 1975 VL - 32 SN - 3540073892 0387073892 3540375856 9783540073895 PB - Berlin : Springer-Verlag, DB - UniCat KW - Numerical analysis KW - Computer science KW - Sequential machine theory KW - Formal languages KW - Théorie des machines séquentielles KW - Langages formels KW - Congresses KW - Congrès KW - Sequential Machine Theory KW - FORMAL LANGUAGES KW - Théorie des machines séquentielles KW - Congrès KW - Computer science. KW - Logic design. KW - Computation by Abstract Devices. KW - Logics and Meanings of Programs. 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 - Informatics KW - Science KW - Logique KW - Sequential Machine Theory - Congresses KW - FORMAL LANGUAGES - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:1128453 AB - ER -