View of V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems

Return to Issue Details V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems Download Download PDF