Saltar al contenido
VuFind
  • Inicio
  • Site web
  • 0 elementos (Completo)
  • Su cuenta
  • Salir
  • Ingreso de sesión Institucional
  • Lenguaje
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
Avanzado
  • The computer modelling of math...
  • Citar
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
    • Exportar a MARC
    • Exportar a MARCXML
    • Exportar a RDF
    • Exportar a BibTeX
    • Exportar a RIS
  • Agregar a favoritos
  • Añadir a la Mochila Eliminar de la Mochila
  • Enlace Permanente
The computer modelling of mathematical reasoning
Vista preliminar
Vista preliminar

The computer modelling of mathematical reasoning

Guardado en:
Detalles Bibliográficos
Autor principal: Bundy, Alan R., 1947-
Formato: Livre papier
Lenguaje:Anglais
Publicado: London ; New York ; Toronto |etc.] : Academic Press 1983.
Materias:
Logique symbolique et mathématique
Théorèmes > Démonstration automatique
Mathématiques > Informatique
Nota: Autres tirages : 1985 (2e), 1985 (3e), 1986 (4e avec corr.)
Autres localisations: Voir dans le Sudoc
  • Existencias
  • Descripción
  • Tabla de Contenidos
  • Ejemplares similares
  • Vista Equipo
Tabla de Contenidos:
  • Contient des exercices

Ejemplares similares

  • Theory reasoning in connection calculi (Livre numérique)
    Baumgartner, Peter, 1953-
  • Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings (Livre numérique)
    Bundy, Alan R., 1947-
  • Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings (Livre numérique)
  • Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings (Livre numérique)
  • Automated reasoning : Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings (Livre numérique)
    Basin, David

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Guide rédaction des références bibliographiques
  • Consulte a un Bibliotecario
© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales