Nondeterministic programming within the frame of first order classical logic : part 1

Authors

  • Tamás Gergely
  • László Úry

Downloads

Download data is not yet available.

Downloads

Published

1980-01-01

How to Cite

Gergely, T., & Úry, L. (1980). Nondeterministic programming within the frame of first order classical logic : part 1. Acta Cybernetica, 4(4), 333–354. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3196

Issue

Section

Regular articles