Cărți de E. Börger

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory

Lecture Notes in Mathematics, nr. 1104

Editat de M. M. Richter et al.

dec 1984

Preț: 413^.63 lei

6-8 săpt.

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Lecture Notes in Computer Science, nr. 171

Editat de E. Börger et al.

mai 1984

Preț: 354^.41 lei

6-8 săpt.