Catalog

Record Details

Catalog Search



Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings  Cover Image E-book E-book

Logic and Its Applications [electronic resource] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / edited by Mohua Banerjee, Anil Seth.

Banerjee, Mohua. (editor.). Seth, Anil. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources


LDR 01945nam a22005055i 4500
00139738
003CONS
00520130725203246.0
007cr nn 008mamaa
008101210s2011 gw | s |||| 0|eng d
020 . ‡a9783642180262 ‡9978-3-642-18026-2
0247 . ‡a10.1007/978-3-642-18026-2 ‡2doi
035 . ‡a(DE-He213)978-3-642-18026-2
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aBanerjee, Mohua. ‡eeditor.
24510. ‡aLogic and Its Applications ‡h[electronic resource] : ‡b4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / ‡cedited by Mohua Banerjee, Anil Seth.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2011.
300 . ‡aX, 219p. ‡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 ; ‡v6521
650 0. ‡aComputer science.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
650 0. ‡aElectronic data processing.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aLogics and Meanings of Programs.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aComputing Methodologies.
65024. ‡aMathematics of Computing.
7001 . ‡aSeth, Anil. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642180255
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6521
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-18026-2 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a39738 ‡b ‡c39738 ‡tbiblio ‡sSystem Local

Additional Resources