Gert H. Müller – författare

Visar alla böcker från författaren Gert H. Müller. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   Decidable Theories

   Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

   Av Dirk Siefkes, Gert H. Müller

   Häftad, 1970

   279 kr

   Lägg i varukorg

2. 

   Recursion Theory Week

   Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

   Av Heinz-Dieter Ebbinghaus, Gert H. Müller m. fl.

   Häftad, 1985

   551 kr

   Lägg i varukorg

3. 

   Decidable Theories

   Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

   Av Dirk Siefkes, Gert H. Muller

   E-bok, 2006

   375 kr

   Lägg i varukorg

4. 

   Recursion Theory Week

   Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

   Av Gerald E. Sacks, Gert H. Muller m. fl.

   E-bok, 2006

   712 kr

   Lägg i varukorg

5. 

   Recursion Theory Week

   Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

   Av Gerald E. Sacks, Gert H. Muller m. fl.

   E-bok, 2006

   440 kr

   Lägg i varukorg

   These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, …

6. 

   Recursion Theory Week

   Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

   Av Klaus Ambos-Spies, Gert H. Müller m. fl.

   Häftad, 1990

   387 kr

   Lägg i varukorg

   These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, …