Catalog

Record Details

Catalog Search


Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings Cover Image E-book E-book

Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings / edited by Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori.

Fisher, Michael. (editor.). Torre, Leon. (editor.). Dastani, Mehdi. (editor.). Governatori, Guido. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642328978
  • Physical Description: Approx. 230 p. 50 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02053nam a22005055i 4500
00133457
003CONS
00520130917030037.0
007cr nn 008mamaa
008120813s2012 gw | s |||| 0|eng d
020 . ‡a9783642328978 ‡9978-3-642-32897-8
0247 . ‡a10.1007/978-3-642-32897-8 ‡2doi
035 . ‡a(DE-He213)978-3-642-32897-8
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aFisher, Michael. ‡eeditor.
24510. ‡aComputational Logic in Multi-Agent Systems ‡h[electronic resource] : ‡b13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings / ‡cedited by Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg : ‡bImprint: Springer, ‡c2012.
300 . ‡aApprox. 230 p. 50 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 ; ‡v7486
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aSoftware Engineering.
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aLogics and Meanings of Programs.
7001 . ‡aTorre, Leon. ‡eeditor.
7001 . ‡aDastani, Mehdi. ‡eeditor.
7001 . ‡aGovernatori, Guido. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642328961
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7486
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-32897-8 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a33457 ‡b ‡c33457 ‡tbiblio ‡sSystem Local

Additional Resources