TY - BOOK ID - 75448289 TI - Theoretical computer science: Gesellschaft für Informatik Conference, Aachen, March 26-28, 1979 AU - Weihrauch, K. AU - Gesellschaft für Informatik PY - 1979 SN - 3540091181 PB - Berlin Springer DB - UniCat KW - #TCPW P3.0 KW - 681.3*A0 KW - 681.3*F0 KW - 681.3*F3 KW - 681.3*F4 KW - 681.3*F4 Mathematical logic and formal languages (Theory of computation) KW - Mathematical logic and formal languages (Theory of computation) KW - 681.3*F3 Logics and meanings of programs (Theory of computation) KW - Logics and meanings of programs (Theory of computation) KW - 681.3*A0 General KW - General KW - Computerwetenschap--?*F0 KW - Computer. Automation UR - https://www.unicat.be/uniCat?func=search&query=sysid:75448289 AB - ER -