EIN ALGORITHMUS ZUR VERARBEITUNG LOGISCHER OPERATOREN IM RAHMEN EINER AUTOMATISCHEN PROGRAMMIERUNG MITTELS PROGRAMMIERENDEN PROGRAMMS

DOI10.1002/MALQ.19640100903zbMath0119.25302OpenAlexW2034974967MaRDI QIDQ5730898

W. Kämmerer

Publication date: 1964

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19640100903

zbMATH Keywords

mathematical logic

This page was built for publication: EIN ALGORITHMUS ZUR VERARBEITUNG LOGISCHER OPERATOREN IM RAHMEN EINER AUTOMATISCHEN PROGRAMMIERUNG MITTELS PROGRAMMIERENDEN PROGRAMMS