×

zbMATH — the first resource for mathematics

Representations and modelling in problems of program formation. (English) Zbl 0276.68007

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68N01 General topics in the theory of software
68T10 Pattern recognition, speech recognition
68Q25 Analysis of algorithms and problem complexity
PDF BibTeX XML Cite