Wietlisbach, M. N. (1981). Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen.
Успешно скопировано в буфер обмена
Ошибка копирования в буфер обмена
Цитирование в стиле Чикаго (17-е изд.)
Wietlisbach, Markus Niklaus. Zur Komplexität Von Entscheidungsalgorithmen, Die Auf Dem Herbrand'schen Satz Und Regulärer Resolution Beruhen. Zürich, 1981.
Успешно скопировано в буфер обмена
Ошибка копирования в буфер обмена
Цитирование MLA (9-е изд.)
Wietlisbach, Markus Niklaus. Zur Komplexität Von Entscheidungsalgorithmen, Die Auf Dem Herbrand'schen Satz Und Regulärer Resolution Beruhen. 1981.
Успешно скопировано в буфер обмена
Ошибка копирования в буфер обмена
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.