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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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.428) Wert ausschließen Journals / Newspapers / Series (4) Wert ausschließen Articles (1) Wert ausschließen Electronic Resources (1) Wert ausschließen Thesis (1) Wert ausschließen Images (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (743) Wert ausschließen Stack Collection (568) Wert ausschließen Ask for availability (126) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (1.035) Wert ausschließen Departmental Library DrePunct (342) Wert ausschließen TU Dresden holdings (61) Wert ausschließen Branch Library of Educationen (39) Wert ausschließen Branch Library of Medicine (16) 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) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (49) Wert ausschließen Restricted Access (31) Wert ausschließen Without Specification (150) Wert ausschließen Show more show less
> Language Skip to next facet English (907) Wert ausschließen German (526) Wert ausschließen Russian (58) Wert ausschließen French (19) Wert ausschließen Not determined (6) Wert ausschließen Polish (4) Wert ausschließen Czech (2) Wert ausschließen Chinese (1) Wert ausschließen Italian (1) Wert ausschließen Latin (1) Wert ausschließen Spanish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (1.333) Wert ausschließen Philosophy (429) Wert ausschließen Computer science (327) Wert ausschließen Economics (123) Wert ausschließen Theology and religious studies (56) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (55) Wert ausschließen Technology (47) Wert ausschließen General sciences (36) Wert ausschließen Psychology (28) Wert ausschließen Physics (21) Wert ausschließen General (15) Wert ausschließen Sociology (15) 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 Medicine (3) Wert ausschließen American studies (2) Wert ausschließen Biology (2) Wert ausschließen Art and art history (2) Wert ausschließen Germanic and Scandinavian studies (1) 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) (34) Wert ausschließen Gabbay, Dov M. (19) Wert ausschließen Aigner, Martin (13) Wert ausschließen Ebbinghaus, Heinz-Dieter (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 Technische Universität Dresden (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 Troelstra, Anne S. (9) Wert ausschließen Zeidler, Guenter (9) Wert ausschließen Baader, Franz (8) Wert ausschließen Jeffrey, Richard C. (8) Wert ausschließen Tarski, Alfred (8) Wert ausschließen Thomas, Wolfgang (8) 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 Quine, W. V. (7) Wert ausschließen Rudolph, Sebastian (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 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 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 Oberschelp, Arnold (5) Wert ausschließen Odifreddi, Piergiorgio (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 Thiele, Rüdiger (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 Eršov, Jurij Leonidovič (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 Hölldobler, Steffen (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 Meinel, Christoph (4) Wert ausschließen Mundhenk, Martin (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 Barendregt, Hendrik Pieter (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 Show more show less
> Collection Skip to next facet Verbunddaten SWB (1.368) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (54) Wert ausschließen Lizenzfreie Online-Ressourcen (30) Wert ausschließen Qucosa (22) Wert ausschließen Diss online (13) Wert ausschließen Fachkatalog Technikgeschichte (2) Wert ausschließen Qucosa Technische Universität Dresden (1) Wert ausschließen Sächsische Bibliografie (1) Wert ausschließen Show more show less
Saxon Bibliography (Sächsische Bibliografie)