Logic and machines: Decision problems and complexity : proceedings of the symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Inst. für mathematische Logik und Grundlagenforschung der Univ. Münster/Westfalen /

Podobné jednotky

• Computation and proof theory. Part 2 : proceedings of the logic colloquium ; Aachen, July 18 - 23, 1983 /
  Autor: Ambos-Spies, Klaus
  Vydáno: (1984)
• Logic for problem solving /
  Autor: Kowalski, Robert, 1941-
  Vydáno: (1979)
• Lectures on the complexity of bilinear problems /
  Autor: Groote, H. F. de
  Vydáno: (1987)
• Handbook of complex environmental remediation problems /
  Autor: Lehr, Jay
  Vydáno: (2002)
• Solution of problems in mechanics of machines.
  Autor: Anvoner, S.
  Vydáno: (1972)