Equational logic as a programming language

Equational logic as a programming language

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	O'Donnell, Michael J. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1985
Θέματα:	PROGRAMMING LANGUAGES ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού

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

80386/80286 assembly language programming
ανά: Murray, William H., κ.ά.
Έκδοση: (1986)

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

Theory and problems of programming with Assembly language
ανά: Geoldberg, David E., κ.ά.
Έκδοση: (1988)

Programming in C
ανά: Kochan, Stephen G.
Έκδοση: (1983)

FORTRAN programming and WATFIV
ανά: Bohl, Marilyn, κ.ά.

The 8086 book
ανά: Alexy, George, κ.ά.
Έκδοση: (1980)

Simplified Fortran programming: with companion problems
ανά: Rosenblatt, Judah, κ.ά.
Έκδοση: (1973)

FORTRAN with engineering applications
ανά: McCracken, Daniel D.
Έκδοση: (1967)

Advanced Turbo Prolog: version 1.1
ανά: Schildt, Herbert
Έκδοση: (1987)

A view of programming languages
ανά: Galler, B. A., κ.ά.
Έκδοση: (1970)

Parallel logic programming in PARLOG The language and its implementation
ανά: Gregory, Steve
Έκδοση: (1987)

The Denotational Description of Programming Languages An Introduction
ανά: Gordon, Michael J. C.
Έκδοση: (1979)

Languages and machines An introduction to the theory of computer science
ανά: Sudkamp, Thomas A.
Έκδοση: (1988)

Programming languages Design and implementation
ανά: Pratt, Terrence W.
Έκδοση: (1984)

Comparative Programming Languages
ανά: Clark, Robert G., κ.ά.
Έκδοση: (1988)

8080A/8085 Assembly language programming
ανά: Leventhal, Lance A.
Έκδοση: (1978)

The ADA Programming Language: A Tutorial
ανά: Fritz, Robert E., κ.ά.
Έκδοση: (1983)

Programming Languages Design and implementation
ανά: Pratt, Terrence W., κ.ά.
Έκδοση: (2001)

IBM PC Assebly Language and Programming
ανά: Abel, Peter
Έκδοση: (1991)

Programming in OCCAM 2
ανά: Burns, Alan
Έκδοση: (1988)

Compiling Functional Languages
ανά: Diller, Antoni
Έκδοση: (1988)

The C programming language
ανά: Kerninghan, Brian W., κ.ά.
Έκδοση: (1978)

Abstraction mechanisms and language design
ανά: Hilfinger, Paul
Έκδοση: (1986)

The C programming tutor
ανά: Sidebottom, Thomas O., κ.ά.
Έκδοση: (1984)

A simplified guide to FORTRAN programming /
ανά: McCracken, Daniel D.
Έκδοση: (1974)

The C++ programming language
ανά: Stroustrup, Bjarne
Έκδοση: (1986)

C programming guide
ανά: Purdum, Jack J.
Έκδοση: (1985)

Assembly language basics An annotated program book
ανά: Dodes, Irving A.
Έκδοση: (1975)

Prolog programming Applications for database systems, expert systems and natural language systems
ανά: Marcus, Claudia
Έκδοση: (1986)

LISP 1.5 programmer's manual
Έκδοση: (1985)

Basic programming
ανά: Kemeny, John G., κ.ά.
Έκδοση: (1971)

Fortran, programming, programs and schematic storage maps
ανά: Mochel, Myron G.
Έκδοση: (1971)

Z8 PLZ/ASM Assembly Language Programming Manual

Formal specification of interactive graphics programming languages
ανά: Mallgren, William R.
Έκδοση: (1985)

Exploring language with LOGO
ανά: Feurzeig, Wallace, κ.ά.
Έκδοση: (1987)

A Structured Approach to FORTRAN 77 Programming
ανά: Ellis, T.M. R.
Έκδοση: (1982)

Smalltalk - 80 The Language
ανά: Goldberg, Adele, κ.ά.
Έκδοση: (1989)

An introduction to formal language theory
ανά: Arbib, Michael A., κ.ά.
Έκδοση: (1988)

8080/8085 Assembly language subroutine
ανά: Leventhal, Lance A., κ.ά.
Έκδοση: (1983)

Principles of Assembler language programming for the IBM 370
ανά: Stoddard, Spotswood D.
Έκδοση: (1985)

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

Cannot write session to /tmp/vufind_sessions/sess_5dob567scg4idom70v8i0d3imn