Catalog

Record Details

Catalog Search



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

Record details

  • ISBN: 9783642180262
  • Physical Description: X, 219p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Subject: Computer science.
Computer software.
Logic design.
Electronic data processing.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Computing Methodologies.
Mathematics of Computing.

Additional Resources