> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Algorithm and computer experiment for seeking proofs of theorems in the predicate calculus Beteiligte: Anufriev, F. V.; Kostyakov, V. M.; Malashonok, A. I. Erschienen: Springer Science and Business Media LLC, 1974 Erschienen in: Cybernetics Sprache: Englisch DOI: 10.1007/bf01068448 ISSN: 0011-4235; 1573-8337 Schlagwörter: General Computer Science ; General Computer Science Entstehung: Anmerkungen: