Catalog

Record Details

Catalog Search


Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings Cover Image E-book E-book

Computational Logic in Multi-Agent Systems [electronic resource] : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings / edited by Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga.

Dix, Jürgen. (editor.). Leite, João. (editor.). Governatori, Guido. (editor.). Jamroga, Wojtek. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02119nam a22005295i 4500
00139244
003CONS
00520131220072332.0
007cr nn 008mamaa
008100812s2010 gw | s |||| 0|eng d
020 . ‡a9783642149771 ‡9978-3-642-14977-1
0247 . ‡a10.1007/978-3-642-14977-1 ‡2doi
035 . ‡a(DE-He213)978-3-642-14977-1
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aDix, Jürgen. ‡eeditor.
24510. ‡aComputational Logic in Multi-Agent Systems ‡h[electronic resource] : ‡b11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings / ‡cedited by Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2010.
300 . ‡aXIV, 257p. 42 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 ; ‡v6245
650 0. ‡aComputer science.
650 0. ‡aComputer Communication Networks.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aSoftware Engineering.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aComputer Communication Networks.
65024. ‡aProgramming Languages, Compilers, Interpreters.
7001 . ‡aLeite, João. ‡eeditor.
7001 . ‡aGovernatori, Guido. ‡eeditor.
7001 . ‡aJamroga, Wojtek. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642149764
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6245
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-14977-1 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a39244 ‡b ‡c39244 ‡tbiblio ‡sSystem Local

Additional Resources