Relevant bibliographies by topics / Logic in Computer Science / Books
To see the other types of publications on this topic, follow the link: Logic in Computer Science.

Books on the topic 'Logic in Computer Science'

Author: Grafiati
Published: 4 June 2021
Last updated: 8 June 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Logic in Computer Science.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Duparc, Jacques, and Thomas A. Henzinger, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74915-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Flum, Jörg, and Mario Rodriguez-Artalejo, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48168-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gottlob, Georg, Etienne Grandjean, and Katrin Seyr, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/10703163.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bradfield, Julian, ed. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45793-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fribourg, Laurent, ed. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44802-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ong, Luke, ed. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11538363.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

van Dalen, Dirk, and Marc Bezem, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63172-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Nielsen, Mogens, and Wolfgang Thomas, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Börger, Egon, Yuri Gurevich, and Karl Meinke, eds. Computer Science Logic. Berlin/Heidelberg: Springer-Verlag, 1994. http://dx.doi.org/10.1007/bfb0049319.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Pacholski, Leszek, and Jerzy Tiuryn, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0022242.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Börger, Egon, Gerhard Jäger, Hans Kleine Büning, and Michael M. Richter, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/bfb0023753.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Börger, Egon, Hans Kleine Büning, Michael M. Richter, and Wolfgang Schönfeld, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54487-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Börger, E., G. Jäger, H. Kleine Büning, S. Martini, and M. M. Richter, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56992-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Grädel, Erich, and Reinhard Kahle, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04027-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Kaminski, Michael, and Simone Martini, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-87531-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Marcinkowski, Jerzy, and Andrzej Tarlecki, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b100120.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Ésik, Zoltán, ed. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11874683.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Baaz, Matthias, and Johann A. Makowsky, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13224.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Dawar, Anuj, and Helmut Veith, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15205-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Clote, Peter G., and Helmut Schwichtenberg, eds. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44622-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Kleine Büning, Hans, ed. Computer Science Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61377-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Workshop on Computer Science Logic (17th 2003 Vienna, Austria). Computer science logic. Berlin: Springer, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

Homer, Steven, Anil Nerode, Richard A. Platek, Gerald E. Sacks, and Andre Scedrov. Logic and Computer Science. Edited by Piergiorgio Odifreddi. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/bfb0093921.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Moschovakis, Yiannis N., ed. Logic from Computer Science. New York, NY: Springer New York, 1992. http://dx.doi.org/10.1007/978-1-4612-2822-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

1950-, Odifreddi Piergiorgio, ed. Logic and computer science. London: Academic Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
26

Reeves, Steve. Logic for computer science. Wokingham, England: Addison-Wesley, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
27

van der Meyden, Ron, and Leendert van der Torre, eds. Deontic Logic in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-70525-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Ben-Ari, Mordechai. Mathematical Logic for Computer Science. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0335-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Ågotnes, Thomas, Jan Broersen, and Dag Elgesem, eds. Deontic Logic in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31570-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Ben-Ari, Mordechai. Mathematical Logic for Computer Science. London: Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-4129-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Nievergelt, Yves. Logic, Mathematics, and Computer Science. New York, NY: Springer New York, 2015. http://dx.doi.org/10.1007/978-1-4939-3223-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Lomuscio, Alessio, and Donald Nute, eds. Deontic Logic in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b98159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Governatori, Guido, and Giovanni Sartor, eds. Deontic Logic in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14183-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Ben-Ari, M. Mathematical logic for computer science. New York: Prentice Hall, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
35

Surowik, Dariusz. Logic, philosophy and computer science. Białystok: University of Białystok, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
36

Baumann, Susan K. Computer science: Logic and structure. St. Paul: West Pub. Co., 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

Mathematical logic for computer science. 2nd ed. London: Springer, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
38

Mathematical logic for computer science. 2nd ed. Singapore: World Scientific, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
39

1958-, Ehrhard Thomas, ed. Linear logic in computer science. Cambridge, UK: Cambridge University Press, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

service), SpringerLink (Online, ed. Mathematical Logic for Computer Science. 3rd ed. London: Springer London, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
41

Ben-Ari, M. Mathematical logic for computer science. 2nd ed. London: Springer, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

Mathematical logic for computer science. London: Springer, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
43

Mathematical logic for computer science. Singapore: World Scientific, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

G, Crocco, Fariñas del Cerro Luis, and Herzig Andreas 1949-, eds. Conditionals: From philosophy to computer science. Oxford: Clarendon Press, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

1943-, Kueker D. W., Lopez-Escobar, Edgar G. K., 1937-, Smith Carl H. 1950-, and University of Maryland, College Park. Dept. of Mathematics., eds. Mathematical logic and theoretical computer science. New York: M. Dekker, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

Gray, John W., and Andre Scedrov, eds. Categories in Computer Science and Logic. Providence, Rhode Island: American Mathematical Society, 1989. http://dx.doi.org/10.1090/conm/092.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Mycielski, Jan, Grzegorz Rozenberg, and Arto Salomaa, eds. Structures in Logic and Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63246-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Logic for mathematics and computer science. Upper Saddle River, N.J: Prentice Hall, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

E, Grandjean, ed. Logic and applications to computer science. Amsterdam: Elsevier, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

G, Antoniou, ed. Logic: A foundation for computer science. Wokingham, England: Addison-Wesley, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Logic in Computer Science' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography