Type | Book |
ชื่อเรื่อง | Logic, Language, Information and Computation [electronic resource] : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / edited by Luke Ong, Ruy Queiroz |
ISBN | 9783642326202 |
| 9783642326219 |
พิมพลักษณ์ | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012 |
รูปเล่ม | 1 online resource |
หัวเรื่อง | Algebra --Data processing [] |
| Algorithm analysis and problem complexity |
| Computation by abstract devices |
| Computational complexity |
| Computer science |
| Computer science |
| Computer software |
| Congresses |
| Discrete mathematics in computer science |
| Electronic books |
| Logic design |
| Logics and meanings of programs |
| Mathematical logic and formal languages |
| Symbolic and algebraic manipulation |