Skip to content
Toggle navigation
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Handbook of logic in computer...
Holdings
Cite this
Text this
Email this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Handbook of logic in computer science/
Other Authors:
Abramsky, S.
,
Gabbay, Dov M.,
,
Maibaum, T.S.E.
Format:
Book
Language:
English
Published:
Oxford:
Clarendon Press,
1992-2000
Subjects:
Logic, Symbolic and mathematical
Computer science
Holdings
Description
Table of Contents
Similar Items
Staff View
Βιβλιοθήκη
Ταξιθετικός αριθμός
Αριθμός Αντιτύπων
Πληροφορίες
Κατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
511.3 AbrS h 1992-2000 5
5
Προβολή
OPAC
Similar Items
Handbook of logic in computer science /
Published: (1992)
Computer science logic : 5th Workshop, CSLʹ91 Berne, Switzerland, October 1991, Proceedings /
Published: (1992)
ACM transactions on computational logic.
Published: (2000)
Norms, logics and information systems : new studies in deontic logic and computer science /
by: McNamara, P.
Published: (1999)
Advances in contemporary logic and computer science : Proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6-10, 1996 Salvador, Bahia, Brazil /
Published: (1999)
×
Loading...