Type | Book |
ชื่อเรื่อง | Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday / edited by Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe |
ISBN | 9783642282782 |
| 9783642282799 |
พิมพลักษณ์ | Berlin, Heidelberg : Springer Berlin Heidelberg, c2012 |
รูปเล่ม | 1 online resource |
หัวเรื่อง | Artificial intelligence (Incl. robotics) |
| Artificial intelligence |
| Computer science |
| Computer science |
| Congresses |
| Electronic books |
| Logic design |
| Logics and meanings of programs |
| Mathematical logic and formal languages |
| Software engineering |
| Models and principles |
| Programming languages, Compilers, Interpreters |
| Software engineering |