An effective theorem proving algorithm

Péter Ecsedi-Tóth; A. Varga

Skip to main content Skip to main navigation menu Skip to site footer

An effective theorem proving algorithm

Péter Ecsedi-Tóth
A. Varga

Downloads

Download data is not yet available.

PDF

Published

1977-01-01

How to Cite

Ecsedi-Tóth, P., & Varga, A. (1977). An effective theorem proving algorithm. Acta Cybernetica, 3(3), 249-260. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3150

Download Citation

Issue

Vol 3 No 3 (1977)

Section

Regular articles

Most read articles by the same author(s)

Péter Ecsedi-Tóth, Ferenc Móricz, A. Varga, A note on symmetric Boolean functions , Acta Cybernetica: Vol 3 No 4 (1977)
Ferenc Móricz, A. Varga, Péter Ecsedi-Tóth, A method for minimizing partially defined Boolean functions , Acta Cybernetica: Vol 4 No 3 (1979)
Péter Ecsedi-Tóth, A theory of finite functions, part I. : on finite trees associated to certain finite functions , Acta Cybernetica: Vol 6 No 2 (1983)
Péter Ecsedi-Tóth, L. Turi, On the number of zero order interpolants , Acta Cybernetica: Vol 6 No 4 (1984)
Péter Ecsedi-Tóth, A partial solution of the finite spectrum problem , Acta Cybernetica: Vol 7 No 2 (1985)