B. Meltzer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The semantics of induction and the possibility of complete systems of inductive inference Artificial Intelligence	1970-01-01	Paper
scientific article; zbMATH DE number 3349335 (Why is no real title available?)	1969-01-01	Paper
The Use of Symbolic Logic in Proving Mathematical Theorems by Means of a Digital Computer Foundations of Mathematics	1969-01-01	Paper
Some Recent Developments in Complete Strategies for Theorem‐Proving by Computer Mathematical Logic Quarterly	1968-01-01	Paper
scientific article; zbMATH DE number 3339445 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3339446 (Why is no real title available?)	1968-01-01	Paper
Mathematics, Logic and Undecidability The Mathematical Gazette	1967-01-01	Paper
Theorem-Proving for Computers: Some Results on Resolution and Renaming The Computer Journal	1966-01-01	Paper
TWO FORMS OF THE PREDICTION PARADOX The British Journal for the Philosophy of Science	1965-01-01	Paper
Digital Field Computers Nature	1958-01-01	Paper
A new approach to the theory of electrical conductivity of solids Physica	1957-01-01	Paper
Electron Flow in Curved Paths under Space-Charge Conditions Proceedings of the Physical Society. Section B	1949-01-01	Paper
Electron Flow in Curved Paths under Space-Charge Conditions Proceedings of the Physical Society. Section B	1949-01-01	Paper
scientific article; zbMATH DE number 3055013 (Why is no real title available?)	1949-01-01	Paper

Research outcomes over time

This page was built for person: B. Meltzer