000 01021nmm a22002895u 4500
005 20210208151938.0
008 100301s2006 xx j eng d
020 _a9783540324461
050 0 4 _aQA76.76.E95
_bL54 2006
100 1 _aLigêza, Antoni.
245 1 0 _aLogical Foundations for Rule-Based Systems
_h[electronic resource] /
_cby Antoni Ligêza.
250 _aSecond Edition.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2006.
300 _bv.: digital
440 0 _aStudies in Computational Intelligence,
_x1860-949X ;
_v11
650 0 _aEngineering
650 0 _aArtificial intelligence
650 0 _aEngineering mathematics
650 1 4 _aEngineering
650 2 4 _aAppl.Mathematics/Computational Methods of Engineering
650 2 4 _aArtificial Intelligence (incl. Robotics)
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-32446-1
942 _2lcc
_cLIE
999 _c17483
_d17483