scientific article

zbMath0515.68066MaRDI QIDQ3662642

Petar Z. Khotomski

Publication date: 1983

Full work available at URL: https://eudml.org/doc/116799

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Man-machine theorem proving in graph theory