Catalog

Record Details

Catalog Search



Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers  Cover Image E-book E-book

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby.

Croitoru, Madalina. (editor.). Rudolph, Sebastian. (editor.). Wilson, Nic. (editor.). Howse, John. (editor.). Corby, Olivier. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources


LDR 02149nam a22005295i 4500
00142155
003CONS
00520130726234751.0
007cr nn 008mamaa
008120526s2012 gw | s |||| 0|eng d
020 . ‡a9783642294495 ‡9978-3-642-29449-5
0247 . ‡a10.1007/978-3-642-29449-5 ‡2doi
035 . ‡a(DE-He213)978-3-642-29449-5
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aCroitoru, Madalina. ‡eeditor.
24510. ‡aGraph Structures for Knowledge Representation and Reasoning ‡h[electronic resource] : ‡bSecond International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / ‡cedited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2012.
300 . ‡aVII, 209 p. 77 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7205
650 0. ‡aComputer science.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aProgramming Techniques.
65024. ‡aComputation by Abstract Devices.
7001 . ‡aRudolph, Sebastian. ‡eeditor.
7001 . ‡aWilson, Nic. ‡eeditor.
7001 . ‡aHowse, John. ‡eeditor.
7001 . ‡aCorby, Olivier. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642294488
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7205
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-29449-5 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a42155 ‡b ‡c42155 ‡tbiblio ‡sSystem Local

Additional Resources