Logic for Artificial Intelligence: Semantic Generalizations for Proving and Disproving Conjectures by Analogy

Authors
G.Defourneaux,C.Bourely,N.Peltier
Citation
G.defourneaux,c.bourely,n.peltier, Logic for Artificial Intelligence: Semantic Generalizations for Proving and Disproving Conjectures by Analogy, Journal of automated reasoning , 20(1/2), 1998, pp. 27-45
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
1/2
Year of publication
1998
Pages
27 - 45
Database
ACNP
SICI code