Logic in computer science Modelling and reasoning about systems

Logic in computer science Modelling and reasoning about systems

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Huth, Michael, 1962- (Συγγραφέας), Ryan, Mark, 1962- (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Cambridge 2000
Θέματα:	COMPUTER LOGIC

Παρόμοια τεκμήρια

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

Solving higher-order equations From logic to programming
ανά: Prehofer, Christian
Έκδοση: (1998)

Logic in computer science : modelling and reasoning about systems /
ανά: Huth, Michael, 1962-
Έκδοση: (2004)

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /
ανά: Mogavero, Fabio
Έκδοση: (2013)

Mathematical Logic for Computer Science
ανά: Ben-Ari, Mordechai
Έκδοση: (2012)

Logical Methods in Computer Science
Έκδοση: (2004)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
Έκδοση: (2007)

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

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Έκδοση: (2013)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Έκδοση: (2009)

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

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

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

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

Logic for Computer Scientists
ανά: Schöning, Uwe
Έκδοση: (2008)

Logics for Computer Science Classical and Non-Classical /
ανά: Wasilewska, Anita, κ.ά.
Έκδοση: (2018)

Deontic Logic in Computer Science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /
Έκδοση: (2004)

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

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
Έκδοση: (2016)

VHDL for logic synthesis /
ανά: Rushton, Andrew, 1962-
Έκδοση: (2011)

Logic for computer science and artificial intelligence /
ανά: Caferra, Ricardo, 1945-
Έκδοση: (2011)

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Έκδοση: (2012)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
ανά: Ognjanović, Zoran, κ.ά.
Έκδοση: (2016)

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs /
ανά: Ayala-Rincón, Mauricio, κ.ά.
Έκδοση: (2017)

Digital Logic for Computing
ανά: Seiffertt, John
Έκδοση: (2017)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Έκδοση: (2016)

Subjective Logic A Formalism for Reasoning Under Uncertainty /
ανά: Jøsang, Audun
Έκδοση: (2016)

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
Έκδοση: (2008)

Ewa Orłowska on Relational Methods in Logic and Computer Science
Έκδοση: (2018)

Mathematical logic for computer science/
ανά: Ben-Ari, M., 1948-
Έκδοση: (2001)

Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
ανά: Nievergelt, Yves
Έκδοση: (2015)

Mathematical Logic Foundations for Information Science /
ανά: Li, Wei
Έκδοση: (2010)

Mathematical Logic Foundations for Information Science /
ανά: Li, Wei
Έκδοση: (2014)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ανά: Governatori, Guido
Έκδοση: (2010)

Computational Logic and Set Theory Applying Formalized Logic to Analysis /
ανά: Schwartz, Jacob T., κ.ά.
Έκδοση: (2011)

Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht /
Έκδοση: (1997)

Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Έκδοση: (1997)

Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
ανά: Dalla Chiara, Maria Luisa, κ.ά.
Έκδοση: (2018)

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

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /
Έκδοση: (2010)

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