scientific article; zbMATH DE number 3814998

zbMATH Open0515.68066MaRDI QIDQ3662642FDOQ3662642

Authors: Petar Hotomski 

Publication date: 1983

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (1)

• Man-machine theorem proving in graph theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3662642)