Old Web
English
Sign In
Acemap
>
Paper
>
Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.
Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.
1998
Éric Salvat
Keywords:
Computer science
Mathematical optimization
Null graph
Discrete mathematics
Forbidden graph characterization
Friendship graph
Cubic graph
Graph minor
Toroidal graph
Perfect graph theorem
Voltage graph
Graph property
Graph operations
Line graph
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
20
Citations
NaN
KQI
[]