Computer based proofs by induction in graph theory: a house of cards? Graph theoretic models in computer science II

Saved in:
Bibliographic Details
Published inMathematical and computer modelling Vol. 17; no. 11; pp. 17 - 23
Main Authors BAREFOOT, C. A, ENTRINGER, R. C, MULLHAUPT, A. P
Format Journal Article
LanguageEnglish
Published Oxford Elsevier Science 1993
Subjects
Algorithmics. Computability. Computer arithmetics
Applied sciences
Combinatorics
Combinatorics. Ordered structures
Computer science; control theory; systems
Exact sciences and technology
Graph theory
Mathematics
Sciences and techniques of general use
Theoretical computing
Hamiltonian graph
Theorem proving
Induction on n
Projective plane
Computer
Graph theory
Software reliability
Online AccessGet full text

Cover

More Information
ISSN:0895-7177
1872-9479