I.- 1 Berechenbarkeit, Aufzählbarkeit.- 2 Automaten und formale Sprachen.- 3 Fixpunkttheorie.- 4 Syntaktische Strukturen.- II.- 5 Gödelisierung und Universalprogramme.- 6 Unlösbare Probleme der Informatik.- 7 Rekursive Prozeduren.- Bibliographische Schlussbemerkungen.
"synopsis" may belong to another edition of this title.
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Broschiert. Condition: Gut. 120 S. : 22 graph. Darst. ; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 210. Seller Inventory # 2119456
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 20391540-n
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condition: New. Berechnungstheorie F�r Informatiker. Book. Seller Inventory # BBS-9783519022589
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9783519022589
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 20391540
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783519022589
Quantity: 10 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In English. Seller Inventory # ria9783519022589_new
Quantity: Over 20 available
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. 1987. Paperback. . . . . . Seller Inventory # V9783519022589
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 20391540-n
Quantity: Over 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Standpunkt aus zu betrachten. 121 pp. Deutsch. Seller Inventory # 9783519022589