Skip to contents Gabbay, Dov M. [Other] Handbook of logic in computer science / 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1999 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1,repr. Abramsky, Samson [Other] Handbook of logic in computer science / 4, Semantic modelling / vol. co-ordinator S. Abramsky Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1995 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 4 Gabbay, Dov M. [Other] Handbook of logic in computer science / 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1992 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1 Abramsky, Samson [Other] Handbook of logic in computer science / 3, Semantic structures / vol. co-ordinator S. Abramsky Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 3 Kreuzer, Martin [Author]; Kühling, Stefan [Author] Logik für Informatiker Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München [u.a.]: Pearson Studium, 2006 Published in: Informatik ; Logik Schöning, Uwe [Author] Logik für Informatiker Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim [u.a.]: BI-Wissenschaftsverl., 1987 Published in: Reihe Informatik ; 56 Arnold, André [Author]; Niwiński, Damian [Author] Rudiments of [my]-calculus - [1. ed] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 2001 Published in: Studies in logic and the foundations of mathematics ; 14600 Gabbay, Dov M. [Other] Handbook of logic in computer science / 2, Background: Computational structures / vol. co-ordinator Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1992 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 2 Matthiessen, Günter [Author] Logik für Software-Ingenieure Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: de Gruyter, 1991 Published in: Programmierung komplexer Systeme ; 3 Symposium on Logic in Computer Science Proceedings / Symposium on Logic in Computer Science. The Computer Society of the IEEE Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Washington, DC: Computer Society Pr., 1986-1989 / [1.]1986; 2.1987 - 4.1989 Dassow, Jürgen [Author] Logik für Informatiker - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2005 Published in: Lehrbuch Mathematik Abe, Jair Minoro [Editor] ; LAPTEC 2 2001 São Paulo Logic artifical intelligence and robotics : LAPTEC 2001; [2nd Congress of Logic Applied to Technology - ... held in São Paulo, Brazil, from Nov. 12th to 14th, 2001] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Berlin [u.a.]: IOS Press [u.a.], 2001 Richter, Michael M. [Editor] Computation and proof theory Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1984 Published in: Logic Colloquium: Proceedings of the Logic Colloquium ; 2 - Lecture notes in mathematics ; 1104 The journal of logic programming Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: North-Holland, 1984-2000 ; New York, NY: Elsevier, anfangs / 1.1984 - 46.2000 Staab, Frank [Author] Logik und Algebra : eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker - [2., überarbeitete Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg, [2012] Published in: Wirtschaftsinformatik kompakt Staab, Frank [Author] Logik und Algebra : eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2007 Published in: Lehrbuch kompakt Alex, Jürgen [Author] Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse : Tertium non datur Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2006 Papadimitriou, Christos H. [Author] Computational complexity - [Reprinted with corr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Reading, Mass. [u.a.]: Addison-Wesley, 1995 Odifreddi, Piergiorgio [Editor] Logic and computer science Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Academic Press, 1990 Published in: Automatic Programming Information Centre: APIC series ; 31 Galton, Antony [Author] Logic for information technology Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chichester; New York; Brisbane: Wiley, 1990
Gabbay, Dov M. [Other] Handbook of logic in computer science / 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1999 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1,repr.
Abramsky, Samson [Other] Handbook of logic in computer science / 4, Semantic modelling / vol. co-ordinator S. Abramsky Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1995 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 4
Gabbay, Dov M. [Other] Handbook of logic in computer science / 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1992 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1
Abramsky, Samson [Other] Handbook of logic in computer science / 3, Semantic structures / vol. co-ordinator S. Abramsky Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 3
Kreuzer, Martin [Author]; Kühling, Stefan [Author] Logik für Informatiker Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München [u.a.]: Pearson Studium, 2006 Published in: Informatik ; Logik
Schöning, Uwe [Author] Logik für Informatiker Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim [u.a.]: BI-Wissenschaftsverl., 1987 Published in: Reihe Informatik ; 56
Arnold, André [Author]; Niwiński, Damian [Author] Rudiments of [my]-calculus - [1. ed] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 2001 Published in: Studies in logic and the foundations of mathematics ; 14600
Gabbay, Dov M. [Other] Handbook of logic in computer science / 2, Background: Computational structures / vol. co-ordinator Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1992 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 2
Matthiessen, Günter [Author] Logik für Software-Ingenieure Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: de Gruyter, 1991 Published in: Programmierung komplexer Systeme ; 3
Symposium on Logic in Computer Science Proceedings / Symposium on Logic in Computer Science. The Computer Society of the IEEE Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Washington, DC: Computer Society Pr., 1986-1989 / [1.]1986; 2.1987 - 4.1989
Dassow, Jürgen [Author] Logik für Informatiker - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2005 Published in: Lehrbuch Mathematik
Abe, Jair Minoro [Editor] ; LAPTEC 2 2001 São Paulo Logic artifical intelligence and robotics : LAPTEC 2001; [2nd Congress of Logic Applied to Technology - ... held in São Paulo, Brazil, from Nov. 12th to 14th, 2001] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Berlin [u.a.]: IOS Press [u.a.], 2001
Richter, Michael M. [Editor] Computation and proof theory Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1984 Published in: Logic Colloquium: Proceedings of the Logic Colloquium ; 2 - Lecture notes in mathematics ; 1104
The journal of logic programming Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: North-Holland, 1984-2000 ; New York, NY: Elsevier, anfangs / 1.1984 - 46.2000
Staab, Frank [Author] Logik und Algebra : eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker - [2., überarbeitete Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg, [2012] Published in: Wirtschaftsinformatik kompakt
Staab, Frank [Author] Logik und Algebra : eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2007 Published in: Lehrbuch kompakt
Alex, Jürgen [Author] Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse : Tertium non datur Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2006
Papadimitriou, Christos H. [Author] Computational complexity - [Reprinted with corr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Reading, Mass. [u.a.]: Addison-Wesley, 1995
Odifreddi, Piergiorgio [Editor] Logic and computer science Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Academic Press, 1990 Published in: Automatic Programming Information Centre: APIC series ; 31
Galton, Antony [Author] Logic for information technology Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chichester; New York; Brisbane: Wiley, 1990
> Media type Skip to next facet Books (183) Wert ausschließen Journals / Newspapers / Series (4) Wert ausschließen Thesis (3) Wert ausschließen Articles (2) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (43) Wert ausschließen Stack Collection (69) Wert ausschließen Ask for availability (9) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (84) Wert ausschließen Central Library (48) Wert ausschließen TU Dresden holdings (3) Wert ausschließen Branch Library of Educationen (1) Wert ausschließen Branch Library of Forestry (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (13) Wert ausschließen Restricted Access (3) Wert ausschließen Without Specification (65) Wert ausschließen Show more show less
> Language Skip to next facet English (139) Wert ausschließen German (48) Wert ausschließen Not determined (5) Wert ausschließen French (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (137) Wert ausschließen Mathmatics (95) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (12) Wert ausschließen General sciences (11) Wert ausschließen Economics (10) Wert ausschließen Technology (7) Wert ausschließen Philosophy (6) Wert ausschließen Musicology (2) Wert ausschließen Medicine (1) Wert ausschließen Psychology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Raś, Zbigniew W. (11) Wert ausschließen Meinel, Christoph (9) Wert ausschließen Mundhenk, Martin (9) Wert ausschließen Schöning, Uwe (6) Wert ausschließen Institute of Electrical and Electronics Engineers (5) Wert ausschließen Pogodalla, Sylvain (5) Wert ausschließen Alferes, José Júlio (4) Wert ausschließen IEEE Computer Society (4) Wert ausschließen Lecomte, Alain (4) Wert ausschließen Nerode, Anil (4) Wert ausschließen Pearce, David (4) Wert ausschließen Retoré, Christian (4) Wert ausschließen Torra, Vicenç (4) Wert ausschließen Eijck, Jan van (3) Wert ausschließen Fuhrmann, André (3) Wert ausschließen Gabbay, Dov M. (3) Wert ausschließen Komorowski, Jan (3) Wert ausschließen Meier, Michael (3) Wert ausschließen Meyer, Albert R. (3) Wert ausschließen Narukawa, Yasuo (3) Wert ausschließen Sanderson, John G. (3) Wert ausschließen Siefkes, Dirk (3) Wert ausschließen Staab, Frank (3) Wert ausschließen Thomas, Wolfgang (3) Wert ausschließen Abramsky, Samson (2) Wert ausschließen Adjan, Sergej I. (2) Wert ausschließen Alex, Jürgen (2) Wert ausschließen Blache, Philippe (2) Wert ausschließen Blass, Andreas (2) Wert ausschließen Davis, Martin (2) Wert ausschließen Dershowitz, Nachum (2) Wert ausschließen Ditmarsch, Hans van (2) Wert ausschließen Ehrig, Hartmut (2) Wert ausschließen European Association for Computer Science Logic (2) Wert ausschließen Ferreira, Fernando (2) Wert ausschließen Gottlob, Georg (2) Wert ausschließen Hamm, Fritz (2) Wert ausschließen Harwath, Frederik (2) Wert ausschließen He, Xiangdong (2) Wert ausschließen Heinemann, Bernhard (2) Wert ausschließen Hofmann, Martin (2) Wert ausschließen Huth, Michael (2) Wert ausschließen IEEE Computer Society Technical Committee on Multiple Valued Logic (2) Wert ausschließen ISMIS 7 1993 Trondheim (2) Wert ausschließen ISMIS 8 1994 Charlotte, NC (2) Wert ausschließen ISMIS 9 1996 Zakopane (2) Wert ausschließen JELIA 2 1990 Amsterdam (2) Wert ausschließen JELIA 5 1996 Évora (2) Wert ausschließen Ju, Shier (2) Wert ausschließen Kepser, Stephan (2) Wert ausschließen Kreutzer, Stephan (2) Wert ausschließen LFCS 3 1994 Sankt Petersburg (2) Wert ausschließen Lamarche, François (2) Wert ausschließen Lang, Jérôme (2) Wert ausschließen Lange, Martin (2) Wert ausschließen Löwe, Benedikt (2) Wert ausschließen MacNish, Craig (2) Wert ausschließen Manna, Zohar (2) Wert ausschließen Mayordomo, Elvira (2) Wert ausschließen Mendes Gomes, Luís (2) Wert ausschließen Morreau, Michael (2) Wert ausschließen Morrill, Glyn (2) Wert ausschließen Mycielski, Jan (2) Wert ausschließen Nielsen, Mogens (2) Wert ausschließen Pacuit, Eric (2) Wert ausschließen Pereira, Luís Moniz (2) Wert ausschließen Perrier, Guy (2) Wert ausschließen Prost, Jean-Philippe (2) Wert ausschließen Quatrini, Myriam (2) Wert ausschließen Reisig, Wolfgang (2) Wert ausschließen Richter, Michael M. (2) Wert ausschließen Ryan, Mark (2) Wert ausschließen Schweikardt, Nicole (2) Wert ausschließen Segoufin, Luc (2) Wert ausschließen Skowron, Andrzej (2) Wert ausschließen Symposium on Logical Foundations of Computer Science 1 1989 Pereslavlʹ-Zalesskij (2) Wert ausschließen Wagner, Gerd (2) Wert ausschließen Weihrauch, Klaus (2) Wert ausschließen Zemankova, Maria (2) Wert ausschließen Aalst, Wil van der (1) Wert ausschließen Abe, Jair Minoro (1) Wert ausschließen Alagar, Vangalur S. (1) Wert ausschließen Alex, Jürgen (1) Wert ausschließen Antoniou, Grigorios (1) Wert ausschließen Antoniou, Grigoris (1) Wert ausschließen Arnold, André (1) Wert ausschließen Asher, Nicholas (1) Wert ausschließen Bauer, Friedrich L. (1) Wert ausschließen Beedgen, Rainer (1) Wert ausschließen Berghammer, Rudolf (1) Wert ausschließen Bergmann, Eberhard (1) Wert ausschließen Blackburn, Patrick (1) Wert ausschließen Bosom, Marcel (1) Wert ausschließen Broy, Manfred (1) Wert ausschließen Busquets, Joan (1) Wert ausschließen Béchet, Denis (1) Wert ausschließen Böhm, Corrado (1) Wert ausschließen Börger, Egon (1) Wert ausschließen CSL 11 1997 Århus (1) Wert ausschließen CSL 12 1998 Brünn (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (183) Wert ausschließen Fachkatalog Technikgeschichte (6) Wert ausschließen Diss online (5) Wert ausschließen Lizenzfreie Online-Ressourcen (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (3) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (1) Wert ausschließen Passau University: OPUS (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen University of Freiburg: FreiDok (1) Wert ausschließen Show more show less