TY - BOOK ID - 5452741 TI - Fundamentals of Computation Theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings AU - Ésik, Zoltán AU - Csuhaj-Varjú, E. AU - FCT 2007 PY - 2007 SN - 9783540742395 3540742395 3540742409 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer science KW - Informatique KW - Congresses. KW - Congrès KW - Computer Science KW - Engineering & Applied Sciences KW - Computational complexity KW - Computer science. KW - Computers. KW - Algorithms. KW - Mathematical logic. KW - Computer graphics. KW - Computer Science. KW - Theory of Computation. KW - Computation by Abstract Devices. KW - Algorithm Analysis and Problem Complexity. KW - Mathematical Logic and Formal Languages. KW - Computer Graphics. KW - Discrete Mathematics in Computer Science. KW - Mathematics. KW - Automatic drafting KW - Graphic data processing KW - Graphics, Computer KW - Computer art KW - Graphic arts KW - Electronic data processing KW - Engineering graphics KW - Image processing KW - Computer mathematics KW - Discrete mathematics 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 - Algorism KW - Algebra KW - Arithmetic 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 - Informatics KW - Science KW - Digital techniques KW - Foundations KW - Information theory. KW - Computer software. KW - Computational complexity. KW - Communication theory KW - Communication KW - Software, Computer KW - Complexity, Computational KW - Computer science—Mathematics. KW - Machine theory. KW - Discrete mathematics. KW - Formal Languages and Automata Theory. KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Logic, Symbolic and mathematical KW - Recursive functions KW - Robotics KW - Discrete mathematical structures KW - Mathematical structures, Discrete KW - Structures, Discrete mathematical KW - Numerical analysis UR - https://www.unicat.be/uniCat?func=search&query=sysid:5452741 AB - ER -