Proceedings
by International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
- ISBN
- 0387528857
Proceedings es un automatic theorem proving, symbolic and mathematical logic book de International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany).
Descubre Proceedings de International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany), automatic theorem proving.
Sobre el Autor
International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany) es el autor de Proceedings. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Proceedings?+
Proceedings es un libro de Automatic theorem proving, Symbolic and mathematical Logic, Theoremes, Automatisches Beweisverfahren.
¿Quién escribió Proceedings?+
Proceedings fue escrito por International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany).