Further processing options
LANMR 2014, Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning: proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and...
Saved in:
Authors and Corporations: | , |
---|---|
Title: | LANMR 2014, Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning: proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning : Valle de Bravo, Mexico, November 5-7, 2014/ edited by Juan C. Acosta Guadarrama, Guillermo De Ita Luna, Raymundo Marcial Romero,Mauricio Osorio, Claudia Zepeda |
Type of Resource: | E-Book Conference Proceedings |
Language: | English |
published: |
Aachen, Germany
RWTH Aachen
[2014]
|
Series: |
CEUR workshop proceedings ; vol-1287
|
Subjects: | |
Source: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |
Loading...