Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Berlín, Alemania :
Springer,
2005, c2005
|
| Colección: | (Lecture Notes in Computer Science)
|
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Mechanizing Mathematical Reasoning :
- Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday /
- Automated Reasoning and Mathematics : Essays in Memory of William W. McCune /
- Logic Programs, Norms and Action : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /
- Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday /
- Horizons of the Mind : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
- Logic and Grammar : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday /