Logic of programs : workshop, ETH Zürich, May-July 1979 /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Tschechisch |
| Veröffentlicht: |
Berlin :
Springer,
1981
|
| Schriftenreihe: | rz1
|
| Online-Zugang: |
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
THE LOGIC OF PROGRAMMING /
von: Hehner, Eric C. R.
Veröffentlicht: (1984)
von: Hehner, Eric C. R.
Veröffentlicht: (1984)
FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
von: Snyers, Dominique
Veröffentlicht: (1987)
von: Snyers, Dominique
Veröffentlicht: (1987)
MICROPROCESSORS AND PROGRAMMED LOGIC /
von: Short, Kenneth L.
Veröffentlicht: (1987)
von: Short, Kenneth L.
Veröffentlicht: (1987)
ALGEBRAIC AND LOGIC PROGRAMMING /
von: Bergstra, J. A.
Veröffentlicht: (1988)
von: Bergstra, J. A.
Veröffentlicht: (1988)
Temporal logic of programs /
von: Kröger, Fred
Veröffentlicht: (1987)
von: Kröger, Fred
Veröffentlicht: (1987)
FOUNDATIONS OF LOGIC PROGRAMMING /
von: Lloyd, John Wylie
Veröffentlicht: (1984)
von: Lloyd, John Wylie
Veröffentlicht: (1984)
6800 programming for logic design /
von: Osborne, Adam
Veröffentlicht: (1977)
von: Osborne, Adam
Veröffentlicht: (1977)
MICRO-PROLOG. PROGRAMMING IN LOGIC /
von: Clark, Keith L.
Veröffentlicht: (1984)
von: Clark, Keith L.
Veröffentlicht: (1984)
Deductive databases and logic programming /
von: Das, Subrata Kumar
Veröffentlicht: (1992)
von: Das, Subrata Kumar
Veröffentlicht: (1992)
Mathematical logic and programming languages /
von: Kowalski, R.
Veröffentlicht: (1985)
von: Kowalski, R.
Veröffentlicht: (1985)
Studies in automatic programming logic /
von: Manna, Zohar
Veröffentlicht: (1977)
von: Manna, Zohar
Veröffentlicht: (1977)
Programming of small logic controllers /
von: Fedor, Pavol 1932-
Veröffentlicht: (2001)
von: Fedor, Pavol 1932-
Veröffentlicht: (2001)
Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
von: Andreoli, Jean-Marc
Veröffentlicht: (1991)
von: Andreoli, Jean-Marc
Veröffentlicht: (1991)
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
von: Pierro, Alessandra Di
Veröffentlicht: (1996)
von: Pierro, Alessandra Di
Veröffentlicht: (1996)
LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 /
von: Jaffer, Joxan
Veröffentlicht: (1988)
von: Jaffer, Joxan
Veröffentlicht: (1988)
3rd international conference on logic programming : Proceedings, London, U. K., July 14 - 18, 1986 /
von: Fuchi, Kazuhiro
Veröffentlicht: (1986)
von: Fuchi, Kazuhiro
Veröffentlicht: (1986)
Prolog versus you. An introduction to logic programming /
von: Johansson, Anna-Lena
Veröffentlicht: (1989)
von: Johansson, Anna-Lena
Veröffentlicht: (1989)
Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
von: Leuschel, Michael
Veröffentlicht: (1996)
von: Leuschel, Michael
Veröffentlicht: (1996)
A programming logic with an introduction to the PL/CV verifier /
von: Constable, Robert L.
Veröffentlicht: (1978)
von: Constable, Robert L.
Veröffentlicht: (1978)
Logical Form Between Logic and Natural Language /
von: Iacona, Andrea
Veröffentlicht: (2018)
von: Iacona, Andrea
Veröffentlicht: (2018)
Mathematical logic /
von: Flum, Jörg, et al.
Veröffentlicht: (1984)
von: Flum, Jörg, et al.
Veröffentlicht: (1984)
THE LOGIC OF INDUCTION /
von: Mortimer, Halina
Veröffentlicht: (1988)
von: Mortimer, Halina
Veröffentlicht: (1988)
MATRIX LOGIC /
von: Stern, August
Veröffentlicht: (1988)
von: Stern, August
Veröffentlicht: (1988)
Absolute logics /
von: Akkanen, Jyrki
Veröffentlicht: (1995)
von: Akkanen, Jyrki
Veröffentlicht: (1995)
Mathematical logic /
von: Demlová, Marie
Veröffentlicht: (1999)
von: Demlová, Marie
Veröffentlicht: (1999)
Logic and structure /
von: Dalen, Dirk van
Veröffentlicht: (1983)
von: Dalen, Dirk van
Veröffentlicht: (1983)
Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
von: Burdman Feferman, Anita
Veröffentlicht: (1987)
von: Burdman Feferman, Anita
Veröffentlicht: (1987)
Logic and architecture synthesis for silicon compilers : Proceedings of the internat. workshop, Grenoble, France, 25 - 27 May, 1988 /
von: Saucier, Gabriéle
Veröffentlicht: (1989)
von: Saucier, Gabriéle
Veröffentlicht: (1989)
Logic year. 1979 - 80. The University of Connecticut, USA /
von: Baldwin, John T.
Veröffentlicht: (1981)
von: Baldwin, John T.
Veröffentlicht: (1981)
Fundamentals of computer logic /
von: Hutchison, David
Veröffentlicht: (1981)
von: Hutchison, David
Veröffentlicht: (1981)
Digital logic : basic theory and practice /
von: Smith, J. H.
Veröffentlicht: (1971)
von: Smith, J. H.
Veröffentlicht: (1971)
Digital logic gates /
von: Korn, Granino A.
Veröffentlicht: (1978)
von: Korn, Granino A.
Veröffentlicht: (1978)
Microprocessors and logic design /
von: Krutz, Ronald L.
Veröffentlicht: (1980)
von: Krutz, Ronald L.
Veröffentlicht: (1980)
Pulse and logic circuits /
von: Castellucis, Richard L.
Veröffentlicht: (1976)
von: Castellucis, Richard L.
Veröffentlicht: (1976)
Logic analyzers for microprocessors /
von: Kneen, John
Veröffentlicht: (1980)
von: Kneen, John
Veröffentlicht: (1980)
Precision, language and logic /
von: George, Frank Honywill
Veröffentlicht: (1977)
von: George, Frank Honywill
Veröffentlicht: (1977)