Catalog

Record Details

Catalog Search


Search Results Showing Item 93 of 179

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

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

Electronic resources

Record details

  • ISBN: 9783642180262
  • Physical Description: electronic
    electronic resource
    access
    remote
    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
Search Results Showing Item 93 of 179

Additional Resources