I'm wrapping up a discrete math course for my university. The last chapter gave us an introduction to graph theory, and I want to learn more. The chapter in question introduced some basic concepts: ...
This is a preview. Log in through your library . Abstract Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler ...
KOCHI: The Department of Mathematics, Cusat, will conduct an 'International conference on recent trends in graph theory and combinatorics', ICRTGC2010, from August 1215 at the IMA House in Kaloor.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback