eBook - PDF
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Manfred Kerber, Michael Kohlhase, Manfred Kerber, Michael Kohlhase
This is a test
Compartir libro
- 288 páginas
- English
- PDF
- Disponible en iOS y Android
eBook - PDF
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Manfred Kerber, Michael Kohlhase, Manfred Kerber, Michael Kohlhase
Detalles del libro
Índice
Citas
Información del libro
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved.
Preguntas frecuentes
¿Cómo cancelo mi suscripción?
¿Cómo descargo los libros?
Por el momento, todos nuestros libros ePub adaptables a dispositivos móviles se pueden descargar a través de la aplicación. La mayor parte de nuestros PDF también se puede descargar y ya estamos trabajando para que el resto también sea descargable. Obtén más información aquí.
¿En qué se diferencian los planes de precios?
Ambos planes te permiten acceder por completo a la biblioteca y a todas las funciones de Perlego. Las únicas diferencias son el precio y el período de suscripción: con el plan anual ahorrarás en torno a un 30 % en comparación con 12 meses de un plan mensual.
¿Qué es Perlego?
Somos un servicio de suscripción de libros de texto en línea que te permite acceder a toda una biblioteca en línea por menos de lo que cuesta un libro al mes. Con más de un millón de libros sobre más de 1000 categorías, ¡tenemos todo lo que necesitas! Obtén más información aquí.
¿Perlego ofrece la función de texto a voz?
Busca el símbolo de lectura en voz alta en tu próximo libro para ver si puedes escucharlo. La herramienta de lectura en voz alta lee el texto en voz alta por ti, resaltando el texto a medida que se lee. Puedes pausarla, acelerarla y ralentizarla. Obtén más información aquí.
¿Es Symbolic Computation and Automated Reasoning un PDF/ePUB en línea?
Sí, puedes acceder a Symbolic Computation and Automated Reasoning de Manfred Kerber, Michael Kohlhase, Manfred Kerber, Michael Kohlhase en formato PDF o ePUB, así como a otros libros populares de Matemáticas y Matemáticas general. Tenemos más de un millón de libros disponibles en nuestro catálogo para que explores.