Catalog

Record Details

Catalog Search



Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings  Cover Image E-book E-book

Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings / edited by Tomi Janhunen, Ilkka Niemelä.

Janhunen, Tomi. (editor.). Niemelä, Ilkka. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources


LDR 02037nam a22005175i 4500
00140120
003CONS
00520131220082329.0
007cr nn 008mamaa
008100913s2010 gw | s |||| 0|eng d
020 . ‡a9783642156755 ‡9978-3-642-15675-5
0247 . ‡a10.1007/978-3-642-15675-5 ‡2doi
035 . ‡a(DE-He213)978-3-642-15675-5
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aJanhunen, Tomi. ‡eeditor.
24510. ‡aLogics in Artificial Intelligence ‡h[electronic resource] : ‡b12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings / ‡cedited by Tomi Janhunen, Ilkka Niemelä.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2010.
300 . ‡aXIV, 374p. 48 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 ; ‡v6341
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aInformation systems.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aInformation Systems Applications (incl.Internet).
65024. ‡aSoftware Engineering.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aSymbolic and Algebraic Manipulation.
7001 . ‡aNiemelä, Ilkka. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642156748
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6341
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-15675-5 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a40120 ‡b ‡c40120 ‡tbiblio ‡sSystem Local

Additional Resources