B. Meltzer

Available identifiers

zbMath Open meltzer.bernardWikidataQ32828145 ScholiaQ32828145MaRDI QIDQ2542508

List of research outcomes

Publication	Date of Publication	Type
The semantics of induction and the possibility of complete systems of inductive inference	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5624686	1969-01-01	Paper
The Use of Symbolic Logic in Proving Mathematical Theorems by Means of a Digital Computer	1969-01-01	Paper
Some Recent Developments in Complete Strategies for Theorem‐Proving by Computer	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5616172	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5616173	1968-01-01	Paper
Mathematics, Logic and Undecidability	1967-01-01	Paper
Theorem-Proving for Computers: Some Results on Resolution and Renaming	1966-01-01	Paper
TWO FORMS OF THE PREDICTION PARADOX	1965-01-01	Paper
Digital Field Computers	1958-01-01	Paper
A new approach to the theory of electrical conductivity of solids	1957-01-01	Paper
Electron Flow in Curved Paths under Space-Charge Conditions	1949-01-01	Paper
Electron Flow in Curved Paths under Space-Charge Conditions	1949-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5794206	1949-01-01	Paper

Research outcomes over time

This page was built for person: B. Meltzer