Deakin University
Browse

APPLICATION OF THEOREM PROVING METHODS FOR AUTOMATIC PROGRAM SYNTHESIS FOR N. C. MACHINE TOOLS.

journal contribution
posted on 2023-02-07, 00:53 authored by Andrzej GoscinskiAndrzej Goscinski, T Szuba
APPLICATION OF THEOREM PROVING METHODS FOR AUTOMATIC PROGRAM SYNTHESIS FOR N. C. MACHINE TOOLS.

History

Journal

Angewandte Informatik, Applied Informatics

Volume

23

Pagination

191-197

Publication classification

CN.1 Other journal article

Issue

5

Usage metrics

    Research Publications

    Categories

    No categories selected

    Keywords

    Uncategorised value

    Licence

    All Rights Reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC