( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Strategy Selection for Automated Theorem Proving.

. AIMSA, том 1480 из Lecture Notes in Computer Science, стр. 452-465. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Andreas Wolf

Andreas Wolf

Andreas Wolf

Andreas Wolf

Andreas Wolf

 

Другие публикации лиц с тем же именем

Kontroversen als Schlüssel zur Wissenschaft?, , и . Science Studies transcript-Verlag, (2006)A Calculus Supporting Structured Proofs., и . Elektronische Informationsverarbeitung und Kybernetik, 30 (5/6): 261-276 (1994)Optimization and Translation of Tableau-Proofs into Resolution.. Elektronische Informationsverarbeitung und Kybernetik, 30 (5/6): 311-325 (1994)Fixed Point Library Based on ISO/IEC Standard DTR 18037 for Atmel AVR Microcontrollers., , и . WISES, стр. 101-113. IEEE, (2007)Extern definierte Datentypen und Prozeduren in DASDBS.. BTW, том 204 из Informatik-Fachberichte, стр. 282-288. Springer, (1989)From Extensible Databases to Interoperability between Multiple Databases and GIS Applications., и . SSD, том 692 из Lecture Notes in Computer Science, стр. 207-238. Springer, (1993)Evaluation of the Weighted Mean X-ray Energy for an Imaging System Via Propagation-Based Phase-Contrast Imaging., , , , , , , , , и 3 other автор(ы). J. Imaging, 6 (7): 63 (2020)Authentifizierung durch Sprache Potenziale und Grenzen biometrische Systeme., и . DFN-Arbeitstagung über Kommunikationsnetze, том P-44 из LNI, стр. 303-319. GI, (2003)Chair/bedside diagnosis of oral and respiratory tract infections, and identification of antibiotic resistances for personalised monitoring and treatment., , , , , , , , , и 23 other автор(ы). pHealth, том 224 из Studies in Health Technology and Informatics, стр. 61-66. IOS Press, (2016)Prerequisites for integrating unsupervised and reinforcement learning in a single network of spiking neurons., , , и . IJCNN, стр. 1101-1106. IEEE Computer Society, (2009)