TY - BOOK ID - 1030359 TI - Automata, languages and programming : 13th international colloquium, Rennes, July 15-19, 1986 : proceedings PY - 1986 VL - vol 226 SN - 3540167617 0387167617 3540398597 PB - Berlin Heidelberg New York Springer DB - UniCat KW - Computer science KW - 681.3*F0 KW - 681.3*G1 KW - 681.3*G2 KW - Computerwetenschap--?*F0 KW - Numerical analysis KW - Discrete mathematics (Mathematics of computing) KW - 681.3*G2 Discrete mathematics (Mathematics of computing) KW - 681.3*G1 Numerical analysis KW - Computer logic. KW - Mathematical logic. KW - Computers. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Computation by Abstract Devices. KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:1030359 AB - ER -