Тема, жанр, tags: Entscheidungsproblem.,Entscheidungstheorie. » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Entscheidungsproblem.,Entscheidungstheorie.

book The classical decision problem

The classical decision problem

djvu

Author: Grädel Erich, Gurevich Yuri, Börger Egon
Language: English
Year: 1997

00

30.01.2024

0

0

book Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

pdf

Author: Surányi János
Language: German
Year: 1959

00

29.01.2024

0

0