Stop the war!
Остановите войну!
for scientists:
default search action
SIGACT News (ACM), Volume 11
Volume 11, Number 1, Summer 1979
- John C. Cherniavsky:
Review of "The theory of computer science: a programming approach" by J. M. Brady. Chapman and Hall. 17 - John C. Cherniavsky:
Review of "Automated theorem proving: a logical basis" by D. W. Loveland. North-Holland Publishing Co. 1977. 18 - Kenneth H. Derus, John C. Hansen:
Logics of truth and disposition. 36-43 - Recent technical reports. 44-80
Volume 11, Number 2, Fall 1979
- John C. Cherniavsky:
Review of "TORIX: a programming system for operations on vectors and matrices over arbitrary fields and of variable size, vol 1" by S. G. Van Der Meulen and M. Veldhorst. Mathematisch Centrum 1978. 6 - Richard A. DeMillo, Richard J. Lipton:
Review of "Proofs and refutations: the logic of mathematical discovery" by Imre Lakatos. Cambridge University Press 1976. 7-9 - Allan Borodin, Michael J. Fischer, David G. Kirkpatrick, Nancy A. Lynch, Martin Tompa:
A time-space tradeoff for sorting and related non-oblivious computations. 24 - Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
Algebraic implementation of abstract data types: an announcement. 25-29 - Kenneth H. Derus, John C. Hansen:
Propositions with multiple dispositions and multiple truth values. 30-35 - Jon Louis Bentley, James B. Saxe:
Algorithms on vector sets. 36-39 - Recent technical reports. 40-57
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.