A first course in formal logic and its applications in computer science

A first course in formal logic and its applications in computer science

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Dowsing, R.D
Άλλοι συγγραφείς:	Rayward-Smith, V.J, Walter, C.D
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Oxford Blackwell Scientific Publications 1986
Σειρά:	Computer science texts
Θέματα:	Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές Λογική, Συμβολική και μαθηματική

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

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

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

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

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

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

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

The limits of mathematics a course on information theory and limits of formal reasoning
ανά: Chaitin, Gregory J.
Έκδοση: (1998)

Introduction to the theory of computation
ανά: Sipser, Michael
Έκδοση: (1996)

Unconventional models of computation
Έκδοση: (1998)

Introduction to the theory of computation
ανά: Sipser, Michael
Έκδοση: (1996)

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

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

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

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

DNA computing new computing paradigms
ανά: Paun, G.
Έκδοση: (1998)

Models of computation and formal languages R. Gregory Taylor
ανά: Taylor, R. Gregory
Έκδοση: (1998)

The formal semantics of programming languages an introduction
ανά: Winskel, G. (Glynn)
Έκδοση: (1993)

Extrapolation methods theory and practice
ανά: Brezinski, Claude
Έκδοση: (1991)

Foundations for programming languages
ανά: Mitchell, John C.
Έκδοση: (1996)

Automata and computability /
ανά: Kozen, Dexter 1951-
Έκδοση: (1997)

Automated reasoning introduction and applications
ανά: Wos, Larry
Έκδοση: (1984)

An introduction to computational learning theory :
ανά: Kearns, Michael J.
Έκδοση: (1994)

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

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

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

Temporal logics and their applications
Έκδοση: (1987)

The divine proportion a study in mathematical beauty
ανά: Huntley, H. E.
Έκδοση: (1970)

The continuum and other types of serial order
ανά: Huntington, Edward V.
Έκδοση: (1917)

A first course in logic an introduction to model theory, proof theory, computability and complexity
ανά: Hedman, Shawn
Έκδοση: (2004)

Ancient formal logic /
ανά: Bochenski, Joseph M., 1902-1995
Έκδοση: (1963)

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

First-order logic /
ανά: Smullyan, Raymond M.
Έκδοση: (1968)

A first course in fuzzy logic
ανά: Nguyen, Hung T. 1944-
Έκδοση: (1997)

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

A first course in fuzzy logic
ανά: Nguyen, Hung T. 1944-, κ.ά.
Έκδοση: (1997)

A course in mathematical logic for mathematicians /
ανά: Manin, IU I.
Έκδοση: (1977)

First-order modal logic
ανά: Fitting, Melvin 1942-
Έκδοση: (1998)

Mathematical logic and its applications /
Έκδοση: (1987)

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

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

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