Skip to contents Knäuer, Simon [Author] ; Bodirsky, Manuel [Degree supervisor]; Bulatov, Andrei A. [Degree supervisor] Technische Universität Dresden Constraint network satisfaction for finite relation algebras Books View online Schließen > Access ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 03. April 2023 Albertini, Claudia [Author]; Huber, Martin [Author] Grundbegriffe der Mathematik : Logik - Mengen - Relationen und Funktionen - Zahlbegriff - [3., überarbeitete und erweiterte Auflage] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Hanser, [2023] Warzog, Thomas [Author] ; Edition Winterwork Principia Metalogica : Aufgabe der Logik in der Mathematik Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Borsdorf: edition winterwork, [2023] Wolfram, Stephen [Author] Metamathematics : foundations & physicalization - [First edition, second printing] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Champaign]: Wolfram Media, INC, [2022] Wolfram, Stephen [Author] Twenty years of a new kind of science - [First edition] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Champaign, Illinois: Wolfram Media, Inc., [2022] Hensel, Stephan [Author] ; Technische Universität Dresden Semantische Revisionskontrolle für die Evolution von Informations- und Datenmodellen - [Als Manuskript gedruckt] Books View online Schließen > Access ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI Verlag GmbH, [2021] Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 873 Steinke, Peter [Author] ; Technische Universität Dresden Pseudo-Boolean constraint encodings for conjunctive normal form and their applications Books View online Schließen > Access ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 31. Januar 2020 Farah, Ilijas [Author] Combinatorial set theory of C*-algebras Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham, Switzerland: Springer, [2019] Published in: Springer monographs in mathematics Hils, Martin [Author]; Loeser, François [Author] A first journey through logic Books View online Schließen > Access ... to E-book via ProQuest Ebook Central Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Providence, Rhode Island: AMS, American Mathematical Society, [2019] Published in: American Mathematical Society: Student mathematical library ; 89 Lemanski, Jens [Author] Logikdiagramme und Logikmaschinen aus der Zittauer Schule um Christian Weise Articles Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2019 Published in: Neues lausitzisches Magazin ; 141(2019), Seite 39-56 Saxon Bibliography (Sächsische Bibliografie) Ziegenbalg, Jochen [Author] ; Springer Fachmedien Wiesbaden Figurierte Zahlen : Veranschaulichung als heuristische Strategie Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden, Germany: Springer Spektrum, [2018] Hoffmann, Dirk W. [Author] ; Springer-Verlag GmbH Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik - [3. Auflage] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Spektrum, [2018] Muller, Jean-Michel [Author]; Brunie, Nicolas [Author]; Dinechin, Florent de [Author]; Jeannerod, Claude-Pierre [Author]; Joldes, Mioara [Author]; Lefèvre, Vincent [Author]; Melquiond, Guillaume [Author]; Revol, Nathalie [Author]; Torres, Serge [Author] Handbook of floating-point arithmetic - [Second edition] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham, [2018] ; Basel: Birkhäuser, [2018] Benölken, Ralf [Author]; Gorski, Hans-Joachim [Author]; Müller-Philipp, Susanne [Author] ; Springer Fachmedien Wiesbaden Leitfaden Arithmetik : für Studierende der Lehrämter - [7., vollständig überarbeitete und erweiterte Auflage] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden, Germany; [Heidelberg]: Springer Spektrum, [2018] Aigner, Martin [Author]; Ziegler, Günter M. [Author] ; Hofmann, Karl H. [Illustrator] Proofs from THE BOOK - [Sixth edition] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Springer, [2018] Iovino, José [Editor] Beyond first order model theory / [volume 1] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton; London; New York: CRC Press, [2017] Published in: Beyond first order model theory / edited by José Iovino ; 1,2017 Hadeler, Karl-Peter [Author]; Müller, Johannes [Author] Cellular automata : analysis and applications Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, [2017] Published in: Springer monographs in mathematics Baader, Franz [Author]; Horrocks, Ian [Author]; Lutz, Carsten [Author]; Sattler, Ulrike [Author] An introduction to description logic - [First published] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York; Port Melbourne; Delhi; Singapore: Cambridge University Press, 2017 Deiser, Oliver [Other]; Lasser, Caroline [Other]; Vogt, Elmar [Other]; Werner, Dirk [Other] ; Springer-Verlag GmbH 12 × 12 Schlüsselkonzepte zur Mathematik - [2. Aufl.] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer-Spektrum, 2016 Published in: Springer Lehrbuch Pape, Bodo von [Author] Makro-Mathematik : Jenseits von Algebra und Analysis: Algorithmen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Norderstedt: Books on Demand, 2016
Knäuer, Simon [Author] ; Bodirsky, Manuel [Degree supervisor]; Bulatov, Andrei A. [Degree supervisor] Technische Universität Dresden Constraint network satisfaction for finite relation algebras Books View online Schließen > Access ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 03. April 2023
Albertini, Claudia [Author]; Huber, Martin [Author] Grundbegriffe der Mathematik : Logik - Mengen - Relationen und Funktionen - Zahlbegriff - [3., überarbeitete und erweiterte Auflage] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Hanser, [2023]
Warzog, Thomas [Author] ; Edition Winterwork Principia Metalogica : Aufgabe der Logik in der Mathematik Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Borsdorf: edition winterwork, [2023]
Wolfram, Stephen [Author] Metamathematics : foundations & physicalization - [First edition, second printing] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Champaign]: Wolfram Media, INC, [2022]
Wolfram, Stephen [Author] Twenty years of a new kind of science - [First edition] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Champaign, Illinois: Wolfram Media, Inc., [2022]
Hensel, Stephan [Author] ; Technische Universität Dresden Semantische Revisionskontrolle für die Evolution von Informations- und Datenmodellen - [Als Manuskript gedruckt] Books View online Schließen > Access ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI Verlag GmbH, [2021] Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 873
Steinke, Peter [Author] ; Technische Universität Dresden Pseudo-Boolean constraint encodings for conjunctive normal form and their applications Books View online Schließen > Access ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 31. Januar 2020
Farah, Ilijas [Author] Combinatorial set theory of C*-algebras Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham, Switzerland: Springer, [2019] Published in: Springer monographs in mathematics
Hils, Martin [Author]; Loeser, François [Author] A first journey through logic Books View online Schließen > Access ... to E-book via ProQuest Ebook Central Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Providence, Rhode Island: AMS, American Mathematical Society, [2019] Published in: American Mathematical Society: Student mathematical library ; 89
Lemanski, Jens [Author] Logikdiagramme und Logikmaschinen aus der Zittauer Schule um Christian Weise Articles Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2019 Published in: Neues lausitzisches Magazin ; 141(2019), Seite 39-56 Saxon Bibliography (Sächsische Bibliografie)
Ziegenbalg, Jochen [Author] ; Springer Fachmedien Wiesbaden Figurierte Zahlen : Veranschaulichung als heuristische Strategie Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden, Germany: Springer Spektrum, [2018]
Hoffmann, Dirk W. [Author] ; Springer-Verlag GmbH Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik - [3. Auflage] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Spektrum, [2018]
Muller, Jean-Michel [Author]; Brunie, Nicolas [Author]; Dinechin, Florent de [Author]; Jeannerod, Claude-Pierre [Author]; Joldes, Mioara [Author]; Lefèvre, Vincent [Author]; Melquiond, Guillaume [Author]; Revol, Nathalie [Author]; Torres, Serge [Author] Handbook of floating-point arithmetic - [Second edition] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham, [2018] ; Basel: Birkhäuser, [2018]
Benölken, Ralf [Author]; Gorski, Hans-Joachim [Author]; Müller-Philipp, Susanne [Author] ; Springer Fachmedien Wiesbaden Leitfaden Arithmetik : für Studierende der Lehrämter - [7., vollständig überarbeitete und erweiterte Auflage] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden, Germany; [Heidelberg]: Springer Spektrum, [2018]
Aigner, Martin [Author]; Ziegler, Günter M. [Author] ; Hofmann, Karl H. [Illustrator] Proofs from THE BOOK - [Sixth edition] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Springer, [2018]
Iovino, José [Editor] Beyond first order model theory / [volume 1] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton; London; New York: CRC Press, [2017] Published in: Beyond first order model theory / edited by José Iovino ; 1,2017
Hadeler, Karl-Peter [Author]; Müller, Johannes [Author] Cellular automata : analysis and applications Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, [2017] Published in: Springer monographs in mathematics
Baader, Franz [Author]; Horrocks, Ian [Author]; Lutz, Carsten [Author]; Sattler, Ulrike [Author] An introduction to description logic - [First published] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York; Port Melbourne; Delhi; Singapore: Cambridge University Press, 2017
Deiser, Oliver [Other]; Lasser, Caroline [Other]; Vogt, Elmar [Other]; Werner, Dirk [Other] ; Springer-Verlag GmbH 12 × 12 Schlüsselkonzepte zur Mathematik - [2. Aufl.] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer-Spektrum, 2016 Published in: Springer Lehrbuch
Pape, Bodo von [Author] Makro-Mathematik : Jenseits von Algebra und Analysis: Algorithmen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Norderstedt: Books on Demand, 2016
> Media type Skip to next facet Books (1.461) Wert ausschließen Journals / Newspapers / Series (4) Wert ausschließen Articles (2) Wert ausschließen Electronic Resources (1) Wert ausschließen Images (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (758) Wert ausschließen Stack Collection (576) Wert ausschließen Ask for availability (128) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (1.053) Wert ausschließen Departmental Library DrePunct (352) Wert ausschließen TU Dresden holdings (65) Wert ausschließen Branch Library of Educationen (39) Wert ausschließen Branch Library of Medicine (18) Wert ausschließen Branch Library of Forestry (16) Wert ausschließen Branch Library of Law (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (12) Wert ausschließen Attribution (CC BY) (8) Wert ausschließen Attribution - Share Alike (CC BY-SA) (2) Wert ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (1) Wert ausschließen Attribution - No Derivs (CC BY-ND) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (54) Wert ausschließen Restricted Access (35) Wert ausschließen Without Specification (151) Wert ausschließen Show more show less
> Language Skip to next facet English (926) Wert ausschließen German (539) Wert ausschließen Russian (58) Wert ausschließen French (20) Wert ausschließen Not determined (6) Wert ausschließen Polish (4) Wert ausschließen Czech (2) Wert ausschließen Latin (2) Wert ausschließen Chinese (1) Wert ausschließen Italian (1) Wert ausschließen Spanish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (1.469) Wert ausschließen Philosophy (464) Wert ausschließen Computer science (367) Wert ausschließen Economics (135) Wert ausschließen Theology and religious studies (62) Wert ausschließen Technology (59) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (58) Wert ausschließen General sciences (45) Wert ausschließen Psychology (29) Wert ausschließen Physics (24) Wert ausschließen General (18) Wert ausschließen Sociology (16) Wert ausschließen Geography (6) Wert ausschließen Jurisprudence (5) Wert ausschließen Chemistry and pharmacology (4) Wert ausschließen Musicology (4) Wert ausschließen Political science (4) Wert ausschließen Biology (3) Wert ausschließen Medicine (3) Wert ausschließen Pedagogy (3) Wert ausschließen American studies (2) Wert ausschließen Germanic and Scandinavian studies (2) Wert ausschließen Art and art history (2) Wert ausschließen History (1) Wert ausschließen Military science (1) Wert ausschließen Slavic studies (1) Wert ausschließen Sports science (1) Wert ausschließen Show more show less
> Creator Skip to next facet ScienceDirect (Online service) (36) Wert ausschließen Gabbay, Dov M. (19) Wert ausschließen Aigner, Martin (13) Wert ausschließen Ebbinghaus, Heinz-Dieter (12) Wert ausschließen Technische Universität Dresden (12) Wert ausschließen Ziegler, Günter M. (12) Wert ausschließen Asser, Günter (11) Wert ausschließen Hermes, Hans (11) Wert ausschließen Dalen, Dirk van (10) Wert ausschließen Flum, Jörg (10) Wert ausschließen Schöning, Uwe (10) Wert ausschließen Barwise, Jon (9) Wert ausschließen Pólya, George (9) Wert ausschließen Sebastian, Hans-Jürgen (9) Wert ausschließen Sieber, Norbert (9) Wert ausschließen Tarski, Alfred (9) Wert ausschließen Troelstra, Anne S. (9) Wert ausschließen Zeidler, Guenter (9) Wert ausschließen Jeffrey, Richard C. (8) Wert ausschließen Rudolph, Sebastian (8) Wert ausschließen Thomas, Wolfgang (8) Wert ausschließen Baader, Franz (7) Wert ausschließen Boolos, George (7) Wert ausschließen Carnap, Rudolf (7) Wert ausschließen Freudenthal, Hans (7) Wert ausschließen Gottwald, Siegfried (7) Wert ausschließen Hilbert, David (7) Wert ausschließen Hodges, Wilfrid (7) Wert ausschließen Hofmann, Karl H. (7) Wert ausschließen Kleene, Stephen Cole (7) Wert ausschließen Odifreddi, Piergiorgio (7) Wert ausschließen Quine, W. V. (7) Wert ausschließen Smullyan, Raymond M. (7) Wert ausschließen Stegmüller, Wolfgang (7) Wert ausschließen Benthem, Johan van (6) Wert ausschließen Bernays, Paul (6) Wert ausschließen Blackburn, Patrick (6) Wert ausschließen Castell-Castell, Nikolaus (6) Wert ausschließen Eršov, Jurij Leonidovič (6) Wert ausschließen Hodkinson, Ian (6) Wert ausschließen Hofstadter, Douglas R. (6) Wert ausschließen Hájek, Petr (6) Wert ausschließen Keisler, H. Jerome (6) Wert ausschließen Klaus, Georg (6) Wert ausschließen Lorenzen, Paul (6) Wert ausschließen Monk, James Donald (6) Wert ausschließen Sikorski, Roman (6) Wert ausschließen Thiele, Rüdiger (6) Wert ausschließen Börger, Egon (5) Wert ausschließen Church, Alonzo (5) Wert ausschließen Cresswell, M. J. (5) Wert ausschließen Curry, Haskell B. (5) Wert ausschließen Felscher, Walter (5) Wert ausschließen Fitting, Melvin (5) Wert ausschließen Halmos, Paul R. (5) Wert ausschließen Hoffmann, Dirk W. (5) Wert ausschließen Hölldobler, Steffen (5) Wert ausschließen Meinel, Christoph (5) Wert ausschließen Mundhenk, Martin (5) Wert ausschließen Oberschelp, Arnold (5) Wert ausschließen Rasiowa, Helena (5) Wert ausschließen Rijke, Maarten de (5) Wert ausschließen Robinson, Abraham (5) Wert ausschließen Russell, Bertrand (5) Wert ausschließen Samochvalov, K. F. (5) Wert ausschließen Varga, Tamás (5) Wert ausschließen Venema, Yde (5) Wert ausschließen Wessel, Horst (5) Wert ausschließen Ziegler, Martin (5) Wert ausschließen Albertini, Claudia (4) Wert ausschließen Barendregt, Hendrik P. (4) Wert ausschließen Benzmüller, Christoph (4) Wert ausschließen Deiser, Oliver (4) Wert ausschließen Deutsch, Michael (4) Wert ausschließen Ganter, Bernhard (4) Wert ausschließen Girard, Jean-Yves (4) Wert ausschließen Henkin, Leon (4) Wert ausschließen Hensel, Stephan (4) Wert ausschließen Heuser, Harro (4) Wert ausschließen Huber, Martin (4) Wert ausschließen Huth, Michael (4) Wert ausschließen Institut Matematiki Imeni S. L. Soboleva Nowosibirsk (4) Wert ausschließen Jaglom, Isaak M. (4) Wert ausschließen Kolʹman, Ėrnest (4) Wert ausschließen Leblanc, Hugues (4) Wert ausschließen Malʹcev, Anatolij I. (4) Wert ausschließen Reynolds, Mark (4) Wert ausschließen Ryan, Mark (4) Wert ausschließen Shoenfield, Joseph R. (4) Wert ausschließen Sominskij, Ilʹja Samuilovič (4) Wert ausschließen Spencer-Brown, G. (4) Wert ausschließen Tietken, Tom Hermann (4) Wert ausschließen Whitesitt, John Eldon (4) Wert ausschließen Ackermann, Wilhelm (3) Wert ausschließen Baldwin, John T. (3) Wert ausschließen Bauer, Sebastian (3) Wert ausschließen Beth, Evert Willem (3) Wert ausschließen Bocheński, Joseph M. (3) Wert ausschließen Bodirsky, Manuel (3) Wert ausschließen Bolc, Leonard (3) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (1.398) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (Nationallizenz) (58) Wert ausschließen Nationallizenzen (58) Wert ausschließen Abschlussarbeiten der TU Dresden (50) Wert ausschließen Lizenzfreie Online-Ressourcen (37) Wert ausschließen Qucosa (32) Wert ausschließen Diss online (13) Wert ausschließen Fachkatalog Technikgeschichte (2) Wert ausschließen Sächsische Bibliografie (2) Wert ausschließen Show more show less
Saxon Bibliography (Sächsische Bibliografie)