Studies in automatic programming logic /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
New York :
North-Holland Publishing,
1977
|
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
The temporal logic of reactive and concurrent systems. Specification /
Autor: Manna, Zohar
Vydáno: (1992)
Autor: Manna, Zohar
Vydáno: (1992)
THE LOGIC OF PROGRAMMING /
Autor: Hehner, Eric C. R.
Vydáno: (1984)
Autor: Hehner, Eric C. R.
Vydáno: (1984)
FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydáno: (1987)
Autor: Snyers, Dominique
Vydáno: (1987)
MICROPROCESSORS AND PROGRAMMED LOGIC /
Autor: Short, Kenneth L.
Vydáno: (1987)
Autor: Short, Kenneth L.
Vydáno: (1987)
ALGEBRAIC AND LOGIC PROGRAMMING /
Autor: Bergstra, J. A.
Vydáno: (1988)
Autor: Bergstra, J. A.
Vydáno: (1988)
Temporal logic of programs /
Autor: Kröger, Fred
Vydáno: (1987)
Autor: Kröger, Fred
Vydáno: (1987)
FOUNDATIONS OF LOGIC PROGRAMMING /
Autor: Lloyd, John Wylie
Vydáno: (1984)
Autor: Lloyd, John Wylie
Vydáno: (1984)
AUTOMATIC CORRECTION AND IMPROVEMENT OF PROGRAMS /
Autor: Wertz, H.
Vydáno: (1987)
Autor: Wertz, H.
Vydáno: (1987)
Automatic program construction techniques /
Autor: Biermann, Alan W.
Vydáno: (1984)
Autor: Biermann, Alan W.
Vydáno: (1984)
Annual review in automatic programming.
Vydáno: (1971)
Vydáno: (1971)
Logic of programs : workshop, ETH Zürich, May-July 1979 /
Autor: Kozen, Dexter
Vydáno: (1981)
Autor: Kozen, Dexter
Vydáno: (1981)
Readings in artificial intelligence and software engineering /
Autor: Manna, Zohar
Vydáno: (1986)
Autor: Manna, Zohar
Vydáno: (1986)
Matematická teorie programu /
Autor: Manna, Zohar
Vydáno: (1981)
Autor: Manna, Zohar
Vydáno: (1981)
Mathematical theory of computation /
Autor: Manna, Zohar
Vydáno: (1974)
Autor: Manna, Zohar
Vydáno: (1974)
Matematická teorie programu /
Autor: Manna, Zohar
Vydáno: (1981)
Autor: Manna, Zohar
Vydáno: (1981)
MICRO-PROLOG. PROGRAMMING IN LOGIC /
Autor: Clark, Keith L.
Vydáno: (1984)
Autor: Clark, Keith L.
Vydáno: (1984)
Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydáno: (1992)
Autor: Das, Subrata Kumar
Vydáno: (1992)
Mathematical logic and programming languages /
Autor: Kowalski, R.
Vydáno: (1985)
Autor: Kowalski, R.
Vydáno: (1985)
Programming of small logic controllers /
Autor: Fedor, Pavol 1932-
Vydáno: (2001)
Autor: Fedor, Pavol 1932-
Vydáno: (2001)
6800 programming for logic design /
Autor: Osborne, Adam
Vydáno: (1977)
Autor: Osborne, Adam
Vydáno: (1977)
Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
Autor: Andreoli, Jean-Marc
Vydáno: (1991)
Autor: Andreoli, Jean-Marc
Vydáno: (1991)
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydáno: (1996)
Autor: Pierro, Alessandra Di
Vydáno: (1996)
LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 /
Autor: Jaffer, Joxan
Vydáno: (1988)
Autor: Jaffer, Joxan
Vydáno: (1988)
Prolog versus you. An introduction to logic programming /
Autor: Johansson, Anna-Lena
Vydáno: (1989)
Autor: Johansson, Anna-Lena
Vydáno: (1989)
Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
Autor: Leuschel, Michael
Vydáno: (1996)
Autor: Leuschel, Michael
Vydáno: (1996)
Automatic Moulders.
Vydáno: (2009)
Vydáno: (2009)
Automatic transmissions.
Vydáno: (1955)
Vydáno: (1955)
Šachový automat
Autor: Löhr, Robert, 1973-
Vydáno: (2006)
Autor: Löhr, Robert, 1973-
Vydáno: (2006)
Automatic control : an introduction /
Autor: Webb, C. R.
Vydáno: (1964)
Autor: Webb, C. R.
Vydáno: (1964)
A programming logic with an introduction to the PL/CV verifier /
Autor: Constable, Robert L.
Vydáno: (1978)
Autor: Constable, Robert L.
Vydáno: (1978)
Automatic design and projecting in electrical engineering. Program AutoCAD /
Autor: Kuchyňková, Hana
Vydáno: (2001)
Autor: Kuchyňková, Hana
Vydáno: (2001)
Automatic testing : systems and applications /
Autor: Knowles, Roy
Vydáno: (1976)
Autor: Knowles, Roy
Vydáno: (1976)
Studies on the stability of frequency standards using an automatic measuring system /
Autor: Mannermaa, Jari
Vydáno: (1989)
Autor: Mannermaa, Jari
Vydáno: (1989)
Logical Form Between Logic and Natural Language /
Autor: Iacona, Andrea
Vydáno: (2018)
Autor: Iacona, Andrea
Vydáno: (2018)
THE LOGIC OF INDUCTION /
Autor: Mortimer, Halina
Vydáno: (1988)
Autor: Mortimer, Halina
Vydáno: (1988)
MATRIX LOGIC /
Autor: Stern, August
Vydáno: (1988)
Autor: Stern, August
Vydáno: (1988)