000 | 01042nam a2200157Ia 4500 | ||
---|---|---|---|
008 | 140211s9999 xx 000 0 und d | ||
020 | _a9783642294495 | ||
100 | _aCroitoru, Madalina. | ||
245 | _aGraph Structures for Knowledge Representation and Reasoning | ||
245 | _bSecond International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / | ||
245 | _cedited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby. | ||
300 | _aOn-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan | ||
650 | _aComputer science.; Computer software.; Logic design.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Programming Techniques.; Computation by Abstract Devices. | ||
856 | 4 | 1 |
_3Click her to access the e-Book _uhttp://dx.doi.org/10.1007/978-3-642-29449-5 |
942 | _cEB | ||
999 |
_c118300 _d118300 |