Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:311103252:1535 |
Source | harvard_bibliographic_metadata |
Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:311103252:1535?format=raw |
LEADER: 01535nam a22003975a 4500
001 013276054-1
005 20120706200215.0
008 120526s2012 gw | s ||0| 0|eng d
020 $a9783642294495$99783642294495 (ebk.)
020 $a9783642294495
024 7 $a10.1007/978-3-642-29449-5$2doi
035 $a(Springer)9783642294495
040 $aSpringer
100 1 $aCroitoru, Madalina.
245 10 $aGraph Structures for Knowledge Representation and Reasoning :$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.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2012.
490 0 $aLecture Notes in Computer Science,$x0302-9743 ;$v7205
650 24 $aArtificial Intelligence (incl. Robotics)
650 10 $aComputer science.
650 0 $aComputer science.
650 0 $aComputer software.
650 0 $aLogic design.
650 0 $aArtificial intelligence.
650 24 $aMathematical Logic and Formal Languages.
650 24 $aAlgorithm Analysis and Problem Complexity.
650 24 $aLogics and Meanings of Programs.
650 24 $aProgramming Techniques.
650 24 $aComputation by Abstract Devices.
700 1 $aRudolph, Sebastian.
700 1 $aWilson, Nic.
700 1 $aHowse, John.
700 1 $aCorby, Olivier.
776 08 $iPrinted edition:$z9783642294488
830 0 $aLecture notes in computer science ;$v7205.
988 $a20120629
906 $0VEN