Home > Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974 > ω+ -valued algorithmic logic as a tool to investigate procedures
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974 |
Springer Berlin Heidelberg
ω+ -valued algorithmic logic as a tool to investigate procedures
Chapter Info
Authors
ARI Id
1664680100359_2701082
Access
Not Available Free
Pages
423-450
DOI
Chapter URL
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...