REBIUN - ODA

Descripción del título

Automated theorem proving :...

Automated theorem proving : after 25 years

Special Session on Automatic Theorem Proving (1983 :. Denver)

AMS 1985

Ver

Monografía

monografia Rebiun02269972 https://catalogo.rebiun.org/rebiun/record/Rebiun02269972 930425s1985 xxu 100 eng 0-8218-5027-X UR0243123 UDE 991003979789703351 SpMaUCMA 510.6 Special Session on Automatic Theorem Proving 1983 :. Denver) Automated theorem proving after 25 years W.W.Bledsoe and D.W.Loveland, editors Providence AMS 1985 Providence Providence AMS IX. 360 p. 26 cm IX. 360 p. Contemporary Mathematics 29 Inteligencia artificial- Congresos Demostración, Teoría de la- Congresos Bledsoe, W. W. ed. lit Loveland, Donald W. ed. lit

• Localizaciones: 4
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun02269972

Cerrar

monografia Rebiun02269972 https://catalogo.rebiun.org/rebiun/record/Rebiun02269972 930425s1985 xxu 100 eng 0-8218-5027-X UR0243123 UDE 991003979789703351 SpMaUCMA 510.6 Special Session on Automatic Theorem Proving 1983 :. Denver) Automated theorem proving after 25 years W.W.Bledsoe and D.W.Loveland, editors Providence AMS 1985 Providence Providence AMS IX. 360 p. 26 cm IX. 360 p. Contemporary Mathematics 29 Inteligencia artificial- Congresos Demostración, Teoría de la- Congresos Bledsoe, W. W. ed. lit Loveland, Donald W. ed. lit