Search results for "Berechenbarkeit"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Michael Prasse, Peter Rittgen	Bemerkungen zu Peter Wegners Ausführungen über Interaktion und Berechenbarkeit.	Inform. Spektrum	1998	DBLP DOI BibTeX RDF	Interaktionsmaschine, Turingmaschine, Churchsche These, Berechenbarkeit, Algorithmus
30	Michael Tieber	Die Berechenbarkeit des Übersetzens: Translationskonzepte in der Computerlinguistik.		2023	RDF
30	Johannes Reich	Verwirrende Informatik I - Systeme, Informationen, Berechenbarkeit und Daten.	Inform. Spektrum	2022	DBLP DOI BibTeX RDF
30	Uwe Schöning, Wolfgang Thomas	Turings Arbeiten über Berechenbarkeit - eine Einführung und Lesehilfe.	Inform. Spektrum	2012	DBLP DOI BibTeX RDF
30	Markus Steinert	Grenzen der Berechenbarkeit - Entdeckendes und forschendes Lernen in der Praxis.	LOG IN	2011	DBLP BibTeX RDF
30	Juraj Hromkovic	Theoretische Informatik - formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie, 3. Auflage.		2007	RDF
30	Norbert Blum	Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie.		2007	RDF
30	Maike Buchin	On the Computability of the Frechet Distance Between Triangulated Surfaces (Über die Berechenbarkeit des Frechet-Abstands zwischen triangulierten Flächen)		2007	RDF
30	Martin Ziegler 0001	Zur Berechenbarkeit reeller geometrischer Probleme.		2003	RDF
30	Alexander Asteroth, Christel Baier	Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen.		2002	RDF
30	Juraj Hromkovic	Algorithmischen Konzepte der Informatik - Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kryptographie		2001	RDF
30	Longin Jan Latecki, Ralf Röhrig	Räumliches Schließen und Berechenbarkeit.	Künstliche Intell.	1993	DBLP BibTeX RDF
30	Walter Felscher	Berechenbarkeit - rekursive und programmierbare Funktionen.		1993	RDF
30	Manfred Bretz	Algorithmen und Berechenbarkeit - eine Einführung in die Algorithmentheorie der Softwaretechnik für Studenten der Informatik.		1992	RDF
30	Egon Börger	Berechenbarkeit, Komplexität und Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (3. Aufl.).		1992	RDF
30	Wilfried Brauer	Grenzen machineller Berechenbarkeit.	Inform. Spektrum	1990	DBLP BibTeX RDF
30	Egon Börger	Computability, Complexity, Logic (English translation of "Berechenbarkeit, Komplexität, Logik" from 1985)		1989	RDF
30	Thomas Deil	Darstellungen und Berechenbarkeit reeller Zahlen.		1983	RDF
30	Ernst Pohlen	Erprobung reaktorphysikalischer Rechenverfahren am kritischen Experiment zum HTR (KAHTER) im Hinblick auf die Güte der Berechenbarkeit des Einflusses des oberen Hohlraumes.		1982	RDF
30	Jürgen Hauck	Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis.	Math. Log. Q.	1981	DBLP DOI BibTeX RDF
30	Klaus Wagner	Turing-Berechenbarkeit in linearer Zeit.	Acta Cybern.	1975	DBLP BibTeX RDF
30	Klaus W. Wagner	Zellulare Berechenbarkeit von Funktionen über n-dimensionalen Zeichensystemen.	J. Inf. Process. Cybern.	1974	DBLP BibTeX RDF