Logic in computer science Modelling and reasoning about systems

Logic in computer science Modelling and reasoning about systems

Show other versions (1)

Bibliographic Details
Main Authors:	Huth, Michael, 1962- (Author), Ryan, Mark, 1962- (Author)
Format:	Book
Language:	English
Published:	New York Cambridge 2000
Subjects:	COMPUTER LOGIC

Similar Items

Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)

Solving higher-order equations From logic to programming
by: Prehofer, Christian
Published: (1998)

Logic in computer science : modelling and reasoning about systems /
by: Huth, Michael, 1962-
Published: (2004)

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /
by: Mogavero, Fabio
Published: (2013)

Mathematical Logic for Computer Science
by: Ben-Ari, Mordechai
Published: (2012)

Logical Methods in Computer Science
Published: (2004)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
Published: (2007)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
Published: (2008)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Published: (2013)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Published: (2009)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
Published: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
Published: (2005)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Published: (2007)

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
Published: (2009)

Logics for Computer Science Classical and Non-Classical /
by: Wasilewska, Anita, et al.
Published: (2018)

Logic for Computer Scientists
by: Schöning, Uwe
Published: (2008)

Deontic Logic in Computer Science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /
Published: (2004)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Published: (2010)

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
Published: (2016)

VHDL for logic synthesis /
by: Rushton, Andrew, 1962-
Published: (2011)

Logic for computer science and artificial intelligence /
by: Caferra, Ricardo, 1945-
Published: (2011)

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Published: (2012)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
by: Ognjanović, Zoran, et al.
Published: (2016)

Digital Logic for Computing
by: Seiffertt, John
Published: (2017)

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs /
by: Ayala-Rincón, Mauricio, et al.
Published: (2017)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Published: (2016)

Subjective Logic A Formalism for Reasoning Under Uncertainty /
by: Jøsang, Audun
Published: (2016)

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
Published: (2008)

Ewa Orłowska on Relational Methods in Logic and Computer Science
Published: (2018)

Mathematical logic for computer science/
by: Ben-Ari, M., 1948-
Published: (2001)

Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
by: Nievergelt, Yves
Published: (2015)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
by: Governatori, Guido
Published: (2010)

Mathematical Logic Foundations for Information Science /
by: Li, Wei
Published: (2010)

Mathematical Logic Foundations for Information Science /
by: Li, Wei
Published: (2014)

Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht /
Published: (1997)

Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Published: (1997)

Computational Logic and Set Theory Applying Formalized Logic to Analysis /
by: Schwartz, Jacob T., et al.
Published: (2011)

Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
by: Dalla Chiara, Maria Luisa, et al.
Published: (2018)

Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
Published: (1998)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
by: Dawar, Anuj
Published: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών