Recursively enumerable sets and degrees a study of computable functions and computably generated sets Robert I. Soare
Materialtyp:
TextSprache: Englisch Reihen: Perspectives in mathematical logicVerlag: Berlin Heidelberg [u.a.] Springer 1987Beschreibung: XVIII, 437 S. graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 9783540152996
- 3540152997
- 0387152997
- 9780387152998
- Recursively enumerable sets
- Computable functions
- Recursion theory
- Computable functions
- Rekursiv aufzählbare Menge
- Berechenbare Funktion
- Berechenbare Funktion
- Berechenbare Funktion
- Berechenbare Funktion
- Rekursiv aufzählbare Menge
- Rekursiv aufzählbare Menge
- Rekursiv aufzählbare Menge
- Rekursiv aufzählbare Menge
- Berechenbare Funktion
- Rekursiv aufzählbare Menge
- Berechenbare Funktion
- QA9.615
- 27
- SK 130
- SK 150
- SK 180
- SK 920
- *03Dxx
- 03-01
- 03-02
- 03D25
- 31.10
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | SOA r 1987:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000077844 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | SOA r 1987:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2202000143710 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
| SNO r 1995:1 1.Ex The TSQL2 temporal query language | SNY c 2008:1 1.Ex Paper prototyping the fast and easy way to design and refine user interfaces | SNY w 1991:1 2.Ex A proof theory for general unification | SOA r 1987:1 1.Ex Recursively enumerable sets and degrees a study of computable functions and computably generated sets | SOB m 1998:1 1.Ex Datenschutzorientierte Audit-basierte Erkennung von IT-Sicherheits- verletzungen | SOCh r 2003:1 1.Ex Theoretische Grundlagen der Informatik | SOI p 2003:1 2.Ex Morphological image analysis principles and applications |
Literaturverz. S. [389] - 418
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31