Logic programming operational semantics and proof theory

Logic programming operational semantics and proof theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Andrews, James H.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	[x.τ.] Cambridge University Press 1992
Σειρά:	Distinguished dissertations in computer science
Θέματα:	Λογικός προγραμματισμός Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού

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

Logic, programming and Prolog
ανά: Nilsson, Ulf
Έκδοση: (1995)

Inductive logic programming from machine learning to software engineering
ανά: Bergadano, Francesco
Έκδοση: (1995)

Third international conference on logic programming : Imperial Colege of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings /
Έκδοση: (1986)

Logic programming and soft computing
Έκδοση: (1998)

Επαγωγικός λογικός προγραμματισμός και Progol
ανά: Παπαϊωάννου, Αλκαίος
Έκδοση: (2004)

Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah.
Έκδοση: (1986)

Field programmable gate arrays : reconfigurable logic for rapid prototyping and implementation of digital systems /
ανά: Oldfield, John V., 1933-
Έκδοση: (1995)

Soft computing techniques in knowledge-based intelligent engineering systems approaches and applications
Έκδοση: (1997)

Μοντελοποίηση και ιεραρχικός ευφυής έλεγχος συστημάτων με ασαφή γνωστικά δίκτυα
ανά: Στύλιος, Χρυσόστομος Δ.

Logical structures for representation of knowledge and uncertainty
ανά: Hisdal, Ellen
Έκδοση: (1998)

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

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

Features and fluents the representation of knowledge about dynamical systems
ανά: Sandewall, Erik

Επαγωγικός λογικός προγραμματισμός και εφαρμογές
ανά: Λώλης, Γεώργιος Ε.
Έκδοση: (2008)

Fuzzy clustering models and applications
ανά: Sato, Mika
Έκδοση: (1997)

Computational logic : essays in honor of Alan Robinson /
Έκδοση: (1991)

Mainframe assembler programming
ανά: Qualls, Bill
Έκδοση: (1998)

Concepts of programming languages
ανά: Sebesta, Robert W.
Έκδοση: (1996)

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

Incomplete information rough set analysis
Έκδοση: (1998)

User interface software
Έκδοση: (1993)

Semantics of programming languages
ανά: Tennent, R. D.
Έκδοση: (1991)

Αρχές γλωσσών προγραμματισμού /
ανά: Sebesta, Robert W.
Έκδοση: (2017)

Αρχές γλωσσών προγραμματισμού /
ανά: Sebesta, Robert W.
Έκδοση: (2019)

Automata, languages and programming proceedings ...[of] 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001
Έκδοση: (2001)

Equational logic as a programming language
ανά: O'Donnell, Michael J.
Έκδοση: (1985)

Algebraic semantics of imperative programs
ανά: Goguen, Joseph
Έκδοση: (1996)

Semantics of programming languages : structures and techniques /
ανά: Gunter, Carl A.
Έκδοση: (1992)

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

Fortran 90 and engineering computation /
ανά: Schick, William
Έκδοση: (1995)

Fortran 90
ανά: Meissner, Loren P.
Έκδοση: (1996)

Εισαγωγή στους ηλεκτρονικούς υπολογιστές και τον προγραμματισμό
ανά: Σφακιανάκης, Μανόλης Γ.

C++ επίλυση προβλημάτων /
ανά: Savitch, Walter J., 1943-
Έκδοση: (2018)

C++ επίλυση προβλημάτων /
ανά: Savitch, Walter J., 1943-
Έκδοση: (2020)

Theories of programming languages /
ανά: Reynolds, John C., 1935-
Έκδοση: (1998)

Formal syntax and semantics of programming languages : a laboratory based approach /
ανά: Slonneger, Kenneth
Έκδοση: (1995)

Fortran programming
ανά: Stuart, Fredric
Έκδοση: (1970)

Programming languages /
ανά: Tucker, Allen B.
Έκδοση: (1986)

Μάθετε HTML5, CSS και JavaScript : όλα σε ένα /
ανά: Kyrnin, Jennifer
Έκδοση: (2021)

Διαδίκτυο, παγκόσμιος ιστός και τεχνικές προγραμματισμού /
ανά: Καράκος, Αλέξανδρος Σ.
Έκδοση: (2007)

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