Treffer
1 - 4
von
4
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Sprache
English
Deutsch
Alle Felder
Titel
Verfasser
Schlagwort
ISBN/ISSN
K10+-PPN
OCLC Nummer
Suchen
Erweitert
Seite wird neu geladen, wenn Filter entfernt wird.
Filter zurücksetzen
Aktivierte Filter:
Thema:
Suchfilter entfernen
Berechnungstheorie
Seite wird neu geladen, wenn Filter entfernt wird.
Filter zurücksetzen
Filter anzeigen (1)
Thema:
Suchfilter entfernen
Berechnungstheorie
Start
Suchergebnisse
Suchergebnisse
Treffer
1 - 4
von
4
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Verfasser
Titel
1
Logic, Computation, Hierarchies
in:
Ontos mathematical logic (4)
Show Volumes / Articles.
Signatur:
Wird geladen …
Standort:
Wird geladen …
Resolving-System, lizenzpflichtig, Volltext
Verlag, lizenzpflichtig
Verlag, Volltext
Cover
Verlag, Cover
Verlag, Cover
Verlag, Zentralblatt MATH, Inhaltstext
Bibliographie
Edited Volume
Online Resource
Gespeichert in:
2
The nature of computation: logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 ; proceedings
in:
Lecture notes in computer science (7921)
Show Volumes / Articles.
Signatur:
Wird geladen …
Standort:
Wird geladen …
Verlag, Inhaltstext
Cover
Verlag, Inhaltsverzeichnis, Inhaltsverzeichnis
Verlag, Zentralblatt MATH, Inhaltstext
Konferenzschrift
Gespeichert in:
3
Handbook of computability theory
in:
Studies in logic and the foundations of mathematics (140)
Show Volumes / Articles.
Signatur:
Wird geladen …
Standort:
Wird geladen …
Verlag, Volltext
Verlag, Zentralblatt MATH, Inhaltstext
Edited Volume
Online Resource
Gespeichert in:
4
Algorithms and computation: 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994 : proceedings
von Du, Dingzhu (VerfasserIn)
in:
Lecture notes in computer science (834)
Show Volumes / Articles.
Signatur:
Wird geladen …
Standort:
Wird geladen …
Verlag, Volltext
Cover
Verlag, Zentralblatt MATH, Inhaltstext
Konferenzschrift
Online Resource
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Online verfügbar
Ohne Parallelausgaben
Inkl. zugehör. Gesamtaufnahmen
Verfasser
Brattka, Vasco
2 Treffer
2
[ausschließen]
Bonizzoni, Paola
1 Treffer
1
[ausschließen]
CiE
1 Treffer
1
[ausschließen]
Diener, Hannes
1 Treffer
1
[ausschließen]
Du, Dingzhu
1 Treffer
1
[ausschließen]
Griffor, Edward R.
1 Treffer
1
[ausschließen]
Löwe, Benedikt
1 Treffer
1
[ausschließen]
Spreen, Dieter
1 Treffer
1
[ausschließen]
Zhang, Xiang-Sun
1 Treffer
1
[ausschließen]
Alle anzeigen …
Dokumenttyp
Konferenzschrift
2 Treffer
2
[ausschließen]
Edited Volume
2 Treffer
2
[ausschließen]
Bibliographie
1 Treffer
1
[ausschließen]
Datenträger
Online Resource
3 Treffer
3
[ausschließen]
Fach
Informatik, Datenverarbeitung
3 Treffer
3
[ausschließen]
Philosophie
1 Treffer
1
[ausschließen]
Mathematik
1 Treffer
1
[ausschließen]
Sprache
Englisch
4 Treffer
4
[ausschließen]
Thema
Berechnungstheorie
Computable functions
2 Treffer
2
[ausschließen]
Computer science
2 Treffer
2
[ausschließen]
Algebra, Boolean
1 Treffer
1
[ausschließen]
Algebra, Boolean -- Congresses
1 Treffer
1
[ausschließen]
Algorithmische Geometrie
1 Treffer
1
[ausschließen]
Algorithmus
1 Treffer
1
[ausschließen]
Artificial intelligence
1 Treffer
1
[ausschließen]
Berechenbarkeit
1 Treffer
1
[ausschließen]
Berechnungskomplexität
1 Treffer
1
[ausschließen]
Combinatorics
1 Treffer
1
[ausschließen]
Computability Theory
1 Treffer
1
[ausschließen]
Computability theory
1 Treffer
1
[ausschließen]
Computer Science
1 Treffer
1
[ausschließen]
Computer software
1 Treffer
1
[ausschließen]
Data structures (Computer science)
1 Treffer
1
[ausschließen]
Descriptive Set Theory
1 Treffer
1
[ausschließen]
Fonctions calculables
1 Treffer
1
[ausschließen]
Komplexitätstheorie
1 Treffer
1
[ausschließen]
Logic, Symbolic and mathematical
1 Treffer
1
[ausschließen]
Logic, Symbolic and mathematical -- Congresses
1 Treffer
1
[ausschließen]
MATHEMATICS / Logic
1 Treffer
1
[ausschließen]
MATHEMATICS / Set Theory
1 Treffer
1
[ausschließen]
Mathematics
1 Treffer
1
[ausschließen]
Non-Classical Logic
1 Treffer
1
[ausschließen]
PHILOSOPHY / Epistemology
1 Treffer
1
[ausschließen]
PHILOSOPHY / General
1 Treffer
1
[ausschließen]
PHILOSOPHY / Logic
1 Treffer
1
[ausschließen]
Petri nets
1 Treffer
1
[ausschließen]
Petri nets -- Congresses
1 Treffer
1
[ausschließen]
Alle anzeigen …
Erscheinungsjahr
Von:
Bis: