Search Results for Logic - Narrowed by: GermanSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dLANGUAGE$002509Language$002509GER$002509German$0026ps$003d300?2024-11-09T19:15:51ZComputability, complexity, logicent://SD_ILS/0/SD_ILS:2571732024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Börger, E. (Egon), 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Temporal logic of programsent://SD_ILS/0/SD_ILS:322002024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Kröger, Fred, 1945-<br/>Preferred Shelf Number QA 76.6 K753 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971ent://SD_ILS/0/SD_ILS:2573022024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933ent://SD_ILS/0/SD_ILS:3368502024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336850.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logicent://SD_ILS/0/SD_ILS:3384832024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Drengner, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338483.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-4198-5">http://dx.doi.org/10.1007/978-3-8349-4198-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaftenent://SD_ILS/0/SD_ILS:1996952024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Noll, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9586-8">http://dx.doi.org/10.1007/978-3-8348-9586-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmenent://SD_ILS/0/SD_ILS:1819822024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Lippe, Wolfram-Manfred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29274-8">http://dx.doi.org/10.1007/3-540-29274-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyseent://SD_ILS/0/SD_ILS:3375782024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337578.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00725-6">http://dx.doi.org/10.1007/978-3-658-00725-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?ent://SD_ILS/0/SD_ILS:3383492024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Schenke, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338349.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2295-6">http://dx.doi.org/10.1007/978-3-8348-2295-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismusent://SD_ILS/0/SD_ILS:3369682024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Tapp, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29654-3">http://dx.doi.org/10.1007/978-3-642-29654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:3371152024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337115.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidlerent://SD_ILS/0/SD_ILS:3374762024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Zeidler, Eberhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337476.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00297-8">http://dx.doi.org/10.1007/978-3-658-00297-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweisent://SD_ILS/0/SD_ILS:3382832024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338283.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-3000-7">http://dx.doi.org/10.1007/978-3-8274-3000-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Entwurf integrierter 3D-Systeme der Elektronikent://SD_ILS/0/SD_ILS:1969212024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Lienig, Jens. editor. Dietrich, Manfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30572-6">http://dx.doi.org/10.1007/978-3-642-30572-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formale Grundlagen der Programmierungent://SD_ILS/0/SD_ILS:1989012024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Nebel, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2296-3">http://dx.doi.org/10.1007/978-3-8348-2296-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Kreativität und Form Programm eines Glasperlenspiels zum Experimentieren mit Wissenent://SD_ILS/0/SD_ILS:1962212024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Zimmermann, Rainer E. author. Wiedemann, Simon M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27521-0">http://dx.doi.org/10.1007/978-3-642-27521-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recht ex machina Formalisierung des Rechts im Internet der Diensteent://SD_ILS/0/SD_ILS:1936732024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17671-5">http://dx.doi.org/10.1007/978-3-642-17671-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cantor und die Franzosen Mathematik, Philosophie und das Unendlicheent://SD_ILS/0/SD_ILS:1927952024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Décaillot, Anne-Marie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14869-9">http://dx.doi.org/10.1007/978-3-642-14869-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Technische Informatik Band 2: Entwurf digitaler Schaltungenent://SD_ILS/0/SD_ILS:1936032024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Kemnitz, Günter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17447-6">http://dx.doi.org/10.1007/978-3-642-17447-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:1987712024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2560-7">http://dx.doi.org/10.1007/978-3-8274-2560-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematische Logikent://SD_ILS/0/SD_ILS:1766982024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Ziegler, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0652-3">http://dx.doi.org/10.1007/978-3-0346-0652-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermeloent://SD_ILS/0/SD_ILS:1899982024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01445-1">http://dx.doi.org/10.1007/978-3-642-01445-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logische Grundlagen der Mathematikent://SD_ILS/0/SD_ILS:1895602024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Schindler, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-95932-8">http://dx.doi.org/10.1007/978-3-540-95932-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Edmund Husserl. Untersuchungen zur Urteilstheorie Texte aus dem Nachlass (1893-1918)ent://SD_ILS/0/SD_ILS:1699862024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Rollinger, Robin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6897-3">http://dx.doi.org/10.1007/978-1-4020-6897-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologieent://SD_ILS/0/SD_ILS:1876882024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Hausdorff, Felix. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76807-4">http://dx.doi.org/10.1007/978-3-540-76807-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Petri-Netzeent://SD_ILS/0/SD_ILS:1877452024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76971-2">http://dx.doi.org/10.1007/978-3-540-76971-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretische Informatik Eine umfassende Einführungent://SD_ILS/0/SD_ILS:1875752024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76320-8">http://dx.doi.org/10.1007/978-3-540-76320-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgenent://SD_ILS/0/SD_ILS:1884162024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79376-2">http://dx.doi.org/10.1007/978-3-540-79376-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgenent://SD_ILS/0/SD_ILS:1848422024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-45388-8">http://dx.doi.org/10.1007/978-3-540-45388-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logischer Entwurf digitaler Systemeent://SD_ILS/0/SD_ILS:1820322024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Liebig, Hans. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29430-9">http://dx.doi.org/10.1007/3-540-29430-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierungent://SD_ILS/0/SD_ILS:1821902024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Lienig, Jens. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29942-4">http://dx.doi.org/10.1007/3-540-29942-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Einführung in die Informatik Objektorientiert mit Javaent://SD_ILS/0/SD_ILS:1810702024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138253">http://dx.doi.org/10.1007/b138253</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logische Untersuchungen Ergänzungsband Zweiter Teil Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94–1921)ent://SD_ILS/0/SD_ILS:1689342024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Melle, Ullrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3574-8">http://dx.doi.org/10.1007/1-4020-3574-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Charles S. Peirce zur Einführungent://SD_ILS/0/SD_ILS:3165922024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Pape, Helmut.<br/>Preferred Shelf Number B945.P44 P347 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Wörterbuch der Logikent://SD_ILS/0/SD_ILS:5055862024-11-09T19:15:51Z2024-11-09T19:15:51ZAuthor Kondakov, N. I. (Nikolaĭ Ivanovich) Albrecht, Erhard. Asser, Günter.<br/>Preferred Shelf Number BC9 K62 1983<br/>Format: Books<br/>Availability Beytepe Library~1<br/>