A Unification graph with constraints for intelligent backtraining in deduction systems

Gardado en:
Detalles Bibliográficos
Autor Principal: JANSON, Agnes
Formato: Libro
Idioma:inglés
Publicado: 1984
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Order eBook:
Order Book: Login to order
Search Result 1

Backus-FP: Ein funktionales Programmiersystem Agnes Janson, Rüdiger Reinecke por Janson, Agnes

Publicado 1982
Libro