Dilger, W., & Janson, A. (1984). A Unification graph with constraints for intelligent backtracking in deduction systems. Univ.
Successfully copied to clipboard
Copying to clipboard failed
Citación estilo Chicago
Dilger, Werner, and Agnes Janson. A Unification Graph with Constraints for Intelligent Backtracking in Deduction Systems. Karlsruhe: Univ, 1984.
Successfully copied to clipboard
Copying to clipboard failed
Cita MLA
Dilger, Werner, and Agnes Janson. A Unification Graph with Constraints for Intelligent Backtracking in Deduction Systems. Univ, 1984.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.