22 Ergebnisse für: computability
-
"Type-2 Turing machines" - Google-Suche
http://www.google.de/search?hl=de&q=%22Type-2+Turing+machines%22&btnG=Suche&meta=
Keine Beschreibung vorhanden.
-
ZDB-Katalog - Suchergebnisseite: iss="0163-5700"
https://zdb-katalog.de/list.xhtml?t=iss%3D%220163-5700%22&key=cql
ZDB Zeitschriftendatenbank
-
Automata.co.de - Ihr Automata Shop
http://www.automata.co.de
Automata (BLU-RAY), Cellular Automata als Buch von, Nier: Automata (PlayStation 4), Automata, Languages, and Programming als Buch von, Implementation and Application of Automata als Buch von,
-
Computable Analysis: An Introduction - Klaus Weihrauch - Google Books
http://books.google.de/books?id=OPolVWVFDJYC
Is the exponential function computable? Are union and intersection of closed subsets of the real plane computable? Are differentiation and integration computable operators? Is zero finding for complex polynomials computable? Is the Mandelbrot set…
-
-
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg ... - Google Books
https://books.google.de/books?id=vfNKx4hCxAkC&dq=Lemma+von+Arden&hl=de&source=gbs_navlinks_s
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected…
-
-
Lehrstuhl Theoretische Informatik - BTU Cottbus-Senftenberg
http://www-ti.informatik.tu-cottbus.de/Studium/06ZgEinfProg/Skript/P9.pdf
Keine Beschreibung vorhanden.
-
Lehrstuhl Theoretische Informatik - BTU Cottbus-Senftenberg
http://www-ti.informatik.tu-cottbus.de/Studium/06ZgEinfProg/Skript/P3.pdf
Keine Beschreibung vorhanden.
-
Intercession set theory Cantor -christianity -god - Google-Suche
http://www.google.de/search?q=Intercession+set+theory+Cantor+-christianity+-god+&hl=de&lr=&client=firefox-a&rls=org.mozilla:de-D
Keine Beschreibung vorhanden.