Cover Image

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers /

The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16–18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that w...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Holub, Jan. (Editor, http://id.loc.gov/vocabulary/relators/edt), Ždárek, Jan. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Theoretical Computer Science and General Issues ; 4783
Subjects:
Artificial intelligence.
Computers.
Algorithms.
Computer logic.
Mathematical logic.
Artificial Intelligence.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-540-76336-9

Internet

https://doi.org/10.1007/978-3-540-76336-9

Similar Items