THE LOGIC OF PROGRAMMING /
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Englewood Cliffs :
Prentice-Hall,
1984
|
| On-line prístup: |
|
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky
FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydavateľské údaje: (1987)
Autor: Snyers, Dominique
Vydavateľské údaje: (1987)
Mathematical logic and programming languages /
Autor: Kowalski, R.
Vydavateľské údaje: (1985)
Autor: Kowalski, R.
Vydavateľské údaje: (1985)
FOUNDATIONS OF LOGIC PROGRAMMING /
Autor: Lloyd, John Wylie
Vydavateľské údaje: (1984)
Autor: Lloyd, John Wylie
Vydavateľské údaje: (1984)
MICROPROCESSORS AND PROGRAMMED LOGIC /
Autor: Short, Kenneth L.
Vydavateľské údaje: (1987)
Autor: Short, Kenneth L.
Vydavateľské údaje: (1987)
ALGEBRAIC AND LOGIC PROGRAMMING /
Autor: Bergstra, J. A.
Vydavateľské údaje: (1988)
Autor: Bergstra, J. A.
Vydavateľské údaje: (1988)
Temporal logic of programs /
Autor: Kröger, Fred
Vydavateľské údaje: (1987)
Autor: Kröger, Fred
Vydavateľské údaje: (1987)
Logic of programs : workshop, ETH Zürich, May-July 1979 /
Autor: Kozen, Dexter
Vydavateľské údaje: (1981)
Autor: Kozen, Dexter
Vydavateľské údaje: (1981)
MICRO-PROLOG. PROGRAMMING IN LOGIC /
Autor: Clark, Keith L.
Vydavateľské údaje: (1984)
Autor: Clark, Keith L.
Vydavateľské údaje: (1984)
Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydavateľské údaje: (1992)
Autor: Das, Subrata Kumar
Vydavateľské údaje: (1992)
Studies in automatic programming logic /
Autor: Manna, Zohar
Vydavateľské údaje: (1977)
Autor: Manna, Zohar
Vydavateľské údaje: (1977)
Programming of small logic controllers /
Autor: Fedor, Pavol 1932-
Vydavateľské údaje: (2001)
Autor: Fedor, Pavol 1932-
Vydavateľské údaje: (2001)
6800 programming for logic design /
Autor: Osborne, Adam
Vydavateľské údaje: (1977)
Autor: Osborne, Adam
Vydavateľské údaje: (1977)
Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
Autor: Andreoli, Jean-Marc
Vydavateľské údaje: (1991)
Autor: Andreoli, Jean-Marc
Vydavateľské údaje: (1991)
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydavateľské údaje: (1996)
Autor: Pierro, Alessandra Di
Vydavateľské údaje: (1996)
LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 /
Autor: Jaffer, Joxan
Vydavateľské údaje: (1988)
Autor: Jaffer, Joxan
Vydavateľské údaje: (1988)
Prolog versus you. An introduction to logic programming /
Autor: Johansson, Anna-Lena
Vydavateľské údaje: (1989)
Autor: Johansson, Anna-Lena
Vydavateľské údaje: (1989)
Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
Autor: Leuschel, Michael
Vydavateľské údaje: (1996)
Autor: Leuschel, Michael
Vydavateľské údaje: (1996)
The elements of mathematical logic /
Autor: Rosenbloom, Paul C.
Vydavateľské údaje: (1950)
Autor: Rosenbloom, Paul C.
Vydavateľské údaje: (1950)
Electronic logic circuits /
Autor: Gibson, J. R.
Vydavateľské údaje: (1979)
Autor: Gibson, J. R.
Vydavateľské údaje: (1979)
A programming logic with an introduction to the PL/CV verifier /
Autor: Constable, Robert L.
Vydavateľské údaje: (1978)
Autor: Constable, Robert L.
Vydavateľské údaje: (1978)
Logical Form Between Logic and Natural Language /
Autor: Iacona, Andrea
Vydavateľské údaje: (2018)
Autor: Iacona, Andrea
Vydavateľské údaje: (2018)
THE LOGIC OF INDUCTION /
Autor: Mortimer, Halina
Vydavateľské údaje: (1988)
Autor: Mortimer, Halina
Vydavateľské údaje: (1988)
MATRIX LOGIC /
Autor: Stern, August
Vydavateľské údaje: (1988)
Autor: Stern, August
Vydavateľské údaje: (1988)
Absolute logics /
Autor: Akkanen, Jyrki
Vydavateľské údaje: (1995)
Autor: Akkanen, Jyrki
Vydavateľské údaje: (1995)
Mathematical logic /
Autor: Demlová, Marie
Vydavateľské údaje: (1999)
Autor: Demlová, Marie
Vydavateľské údaje: (1999)
Logic and structure /
Autor: Dalen, Dirk van
Vydavateľské údaje: (1983)
Autor: Dalen, Dirk van
Vydavateľské údaje: (1983)
Mathematical logic /
Autor: Flum, Jörg, a ďalší
Vydavateľské údaje: (1984)
Autor: Flum, Jörg, a ďalší
Vydavateľské údaje: (1984)
LOGIC METHODOLOGY AND PHILOSOPHY OF SCIENCE.
Autor: Thom, R.
Vydavateľské údaje: (1982)
Autor: Thom, R.
Vydavateľské údaje: (1982)
Digital circuits and logic design /
Autor: Lee, Samuel C.
Vydavateľské údaje: (1976)
Autor: Lee, Samuel C.
Vydavateľské údaje: (1976)
The logical design of operating systems /
Autor: Shaw, Alan C.
Vydavateľské údaje: (1974)
Autor: Shaw, Alan C.
Vydavateľské údaje: (1974)
Structured logic design with VHDL /
Autor: Armstrong, James R.
Vydavateľské údaje: (1993)
Autor: Armstrong, James R.
Vydavateľské údaje: (1993)
3rd international conference on logic programming : Proceedings, London, U. K., July 14 - 18, 1986 /
Autor: Fuchi, Kazuhiro
Vydavateľské údaje: (1986)
Autor: Fuchi, Kazuhiro
Vydavateľské údaje: (1986)
operation and analysis Digital logic and switching circuits :.
Autor: Boyce, Jefferson C.
Vydavateľské údaje: (1975)
Autor: Boyce, Jefferson C.
Vydavateľské údaje: (1975)
Introduction to the logical design of switching systems /
Autor: Torng, H. C.
Vydavateľské údaje: (1964)
Autor: Torng, H. C.
Vydavateľské údaje: (1964)
LOGICAL SENSOR SYSTEMS /
Autor: Shilcrat, Esther Dina
Vydavateľské údaje: (1984)
Autor: Shilcrat, Esther Dina
Vydavateľské údaje: (1984)
DIGITAL LOGIC AND MICROPROCESSOR /
Autor: Hill, Fredrich J.
Vydavateľské údaje: (1984)
Autor: Hill, Fredrich J.
Vydavateľské údaje: (1984)