Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings

No description available.
Computational complexityInformation theoryComputer scienceArtificial intelligenceComputer softwareSymbolic and mathematical LogicCongressesBerechnungstheorieKongressLogikFormale MethodeNatürliche Sprache