Temporal logics and their applications

Temporal logics and their applications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Galton, Antony (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	London Academic Press 1987
Θέματα:	COMPUTER PROGRAMMING Λογική, Συμβολική και μαθηματική Υπολογιστική Ηλεκτρονικοί υπολογιστές > Προγραμματισμός

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

The temporal logic of reactive and concurrent systems specification
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1992)

Elements of the theory of computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1998)

Logic for applications
ανά: Nerode, Anil 1932-
Έκδοση: (1997)

Complexity and structure
ανά: Schöning, Uwe, 1955-
Έκδοση: (1986)

Handbook of logic in artificial intelligence and logic programming /
Έκδοση: (1998)

The spine of software A mathematical introduction to the semantics of computer programs
ανά: Baber, Robert L.
Έκδοση: (1987)

Efficient Graph Rewriting and its Implementation
ανά: Dorr, Heiko
Έκδοση: (1995)

Foundations of logic programming
ανά: Lloyd, J. W. 1947- (John Wylie)
Έκδοση: (1984)

Logic programming and knowledge engineering
ανά: Amble, Tore
Έκδοση: (1987)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2012)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2007)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2020)

Many - sorted logic and its applications
Έκδοση: (1993)

A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986)

The logic of partial information
ανά: Nait Abdallah, Areski 1950-
Έκδοση: (1995)

First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1996)

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

Descriptive complexity /
ανά: Immerman, Neil, 1953-
Έκδοση: (1999)

Computability and unsolvability
ανά: Davis, Martin, 1928-
Έκδοση: (1982)

Εφαρμογή των κινητικών δομών δεδομένων σε προβλήματα της υπολογιστικής γεωμετρίας
ανά: Τσιμά, Αλεξάνδρα
Έκδοση: (2006)

Εισαγωγή στην υπολογιστική
ανά: Τουρλάκης, Γιώργος
Έκδοση: (1994)

A little smalltalk
ανά: Budd, Timothy
Έκδοση: (1987)

Fundamentals of computer algorithms
ανά: Horowitz, Ellis, κ.ά.
Έκδοση: (1986)

Digital computer design
ανά: Heath, F. G.
Έκδοση: (1969)

Software engineering environments
Έκδοση: (1988)

Epistemic logic for AI and computer science
ανά: Meyer, John-Jules Ch
Έκδοση: (1995)

Introduction to symbolic logic and its applications /
ανά: Carnap, Rudolf, 1891-1970
Έκδοση: (1958)

Mathematical logic applications and theory
ανά: Rubin, Jean E.
Έκδοση: (1990)

LUCAS associative array processor Design, programming and application studies
ανά: Kruzela, Ivan, κ.ά.
Έκδοση: (1986)

An introduction to fuzzy logic for practical applications
ανά: Tanaka, Kazuo
Έκδοση: (1997)

The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997)

Arithmetic complexity of computations
ανά: Winograd, Shmuel
Έκδοση: (1980)

Computability and complexity from a programming perpective
ανά: Jones, Neil D.
Έκδοση: (1997)

Computing in Horn clause theories
ανά: Padawitz, Peter
Έκδοση: (1988)

Teaching and learning formal methods
Έκδοση: (1996)

Logic : techniques of formal reasoning /
ανά: Kalish, Donald
Έκδοση: (1980)

Modal logic an introduction
ανά: Chellas, Brian F.
Έκδοση: (1995)

Handbook of logic in computer science /
Έκδοση: (1992)

Logic for mathematicians
ανά: Hamilton, E. G.
Έκδοση: (1988)

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