Mostrar 1 - 1 resultats de 1 per cerca '"Symbolic theorem proving"', hora de la petició: 0.02sec Refinar resultats
  1. 1
    Symbolic, logic and mechanical theorem proving
    per Chang, Chin-Liang
    Publicat 1973
    Matèries: “...Symbolic theorem proving Logic theorem proving Mechanical theorem proving Computational mathematics...”
    Printed Book
Eines de cerca: Obtenir subscripció RSS — Enviar per correu electrònic aquesta cerca