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)

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

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

A computational logic handbook
ανά: Boyer, Robert, κ.ά.
Έκδοση: (1998)

A Computational Logic Handbook
ανά: Moore, J. Strother, κ.ά.
Έκδοση: (1988)

Logic programming
Έκδοση: (1982)

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

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

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

Fundamentals of digital logic with VHDL design /
ανά: Brown, Stephen D.
Έκδοση: (2005)

Mathematical Problems from Applied Logic I Logics for the XXIst Century
ανά: Gabbay, Dov M., 1945-
Έκδοση: (2006)

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ανά: Blass, Andreas
Έκδοση: (2010)

Digital designing with programmable logic devices /
ανά: Carter, John W.
Έκδοση: (1997)

Foundations of inductive logic programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ανά: Ablayev, Farid
Έκδοση: (2010)

Γενική λογιστική της Computer Logic και εικόνα επιχείρησης /
Έκδοση: (1997)

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
ανά: Platzer, AndrΓ©
Έκδοση: (2010)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
ανά: Dawar, Anuj
Έκδοση: (2010)

In the light of logic /
ανά: Feferman, Solomon
Έκδοση: (1998)

Handbook of Philosophical Logic
ανά: Gabbay, D.M
Έκδοση: (2005)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
ανά: Dix, JΓΌrgen
Έκδοση: (2010)

Digital Logic Design /
ανά: Holdsworth, B.
Έκδοση: (2002)

Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., 1945-
Έκδοση: (2010)

Fuzzy logic with engineering applications /
ανά: Ross, Timothy J.
Έκδοση: (2004)

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
ανά: Calude, Cristian S
Έκδοση: (2010)

Logic systems design handbook
Έκδοση: (1972)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
ανά: Benthem, Johan
Έκδοση: (2006)

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
ανά: Dix, JΓΌrgen
Έκδοση: (2010)

Γέφυρα της γενικής λογιστικής με την εμπορική διαχείριση των πακέτων ορίζοντες της Computer logic.
Έκδοση: (1995)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Ong, Luke
Έκδοση: (2010)

Logic, sets, and recursion /
ανά: Causey, Robert L.
Έκδοση: (1994)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Fundamentals of digital logic and microcomputer design /
ανά: Rafiquzzaman, Mohamed
Έκδοση: (2005)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Handbook of Philosophical Logic, 2nd Edition
ανά: Gabbay, D.M
Έκδοση: (2005)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
ανά: Dovier, Agostino
Έκδοση: (2010)

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

Cannot write session to /tmp/vufind_sessions/sess_6ikm95ghe2mlp9v8mpp0qk0880