LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 /
Uložené v:
| Hlavný autor: | |
|---|---|
| Korporativný autor: | |
| Ďalší autori: | , , |
| Médium: | Konferenčný príspevok.. Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Berlin :
Springer,
1988
|
| Edícia: | Lecture notes in computer science
Vol. 315 |
| On-line prístup: |
|
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky
Sintering '87. Vol. 2 : Proceedings of the 4th internat. symp. on science and technology, Tokyo, Japan, 4 - 6 Nov., 1987 /
Autor: Sómiya, Shigeyuki
Vydavateľské údaje: (1988)
Autor: Sómiya, Shigeyuki
Vydavateľské údaje: (1988)
THE LOGIC OF PROGRAMMING /
Autor: Hehner, Eric C. R.
Vydavateľské údaje: (1984)
Autor: Hehner, Eric C. R.
Vydavateľské údaje: (1984)
FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydavateľské údaje: (1987)
Autor: Snyers, Dominique
Vydavateľské údaje: (1987)
Sintering '87. Vol. 1 : Proceedings of the 4th internat. symp. on science and technology, Tokyo, 4 - 6 Nov., 1987 /
Autor: Sómiya, Shigeyuki
Vydavateľské údaje: (1988)
Autor: Sómiya, Shigeyuki
Vydavateľské údaje: (1988)
ALGEBRAIC AND LOGIC PROGRAMMING /
Autor: Bergstra, J. A.
Vydavateľské údaje: (1988)
Autor: Bergstra, J. A.
Vydavateľské údaje: (1988)
MICROPROCESSORS AND PROGRAMMED LOGIC /
Autor: Short, Kenneth L.
Vydavateľské údaje: (1987)
Autor: Short, Kenneth L.
Vydavateľské údaje: (1987)
Temporal logic of programs /
Autor: Kröger, Fred
Vydavateľské údaje: (1987)
Autor: Kröger, Fred
Vydavateľské údaje: (1987)
FOUNDATIONS OF LOGIC PROGRAMMING /
Autor: Lloyd, John Wylie
Vydavateľské údaje: (1984)
Autor: Lloyd, John Wylie
Vydavateľské údaje: (1984)
Incheba '87 : Enzyme technologies. Interbiotech '87June 25 - 26, 1987 /
Autor: Blažej, A.
Vydavateľské údaje: (1987)
Autor: Blažej, A.
Vydavateľské údaje: (1987)
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)
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)
Mathematical logic and programming languages /
Autor: Kowalski, R.
Vydavateľské údaje: (1985)
Autor: Kowalski, R.
Vydavateľské údaje: (1985)
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)
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)
6800 programming for logic design /
Autor: Osborne, Adam
Vydavateľské údaje: (1977)
Autor: Osborne, Adam
Vydavateľské údaje: (1977)
Interbiotech '87 : Enzyme technologies : proceedings of the international symposium on biotechnology, Bratislava, Czechoslovakia, June 25 - 26, 1987 /
Autor: Blažej, A.
Vydavateľské údaje: (1987)
Autor: Blažej, A.
Vydavateľské údaje: (1987)
33rd international symposium on multiple-valued logic : Proceedings, Tokyo, Japan, 16 - 19 May 2003 /
Autor: Zadeh, Lotfi Asker 1921-
Vydavateľské údaje: (2003)
Autor: Zadeh, Lotfi Asker 1921-
Vydavateľské údaje: (2003)
Industrial crystallization 87 : Proceedings of the 10th symposium, Bechyně, Czechoslovakia, 21. - 25. 9. 1987 /
Autor: Kashchiev, D.
Vydavateľské údaje: (1989)
Autor: Kashchiev, D.
Vydavateľské údaje: (1989)
Industrial crystallization 87 : Proceedings of the 10th symp., Bechyně, Czechoslovakia, Sept. 21 - 25, 1987 /
Autor: Nývlt, Jaroslav 1932-
Vydavateľské údaje: (1989)
Autor: Nývlt, Jaroslav 1932-
Vydavateľské údaje: (1989)
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)
Computational techniques and applications. CTAC - 87 : Proceedings of the 1987 internat. conf., Sydney, Australia, 24 - 27 August, 1987 /
Autor: Noye, John
Vydavateľské údaje: (1988)
Autor: Noye, John
Vydavateľské údaje: (1988)
ADVANCES IN STEROID ANALYSIS '87 : PROCEEDINGS OF THE SYMPOSIUM ON THE ANALYSIS OF STEROIDS, SOPRON, HUNGARY, OCT. 20 - 22, 1987 /
Autor: Cekan, S. Z.
Vydavateľské údaje: (1988)
Autor: Cekan, S. Z.
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)
DRYING '87 /
Autor: Mujumdar, Arun S.
Vydavateľské údaje: (1987)
Autor: Mujumdar, Arun S.
Vydavateľské údaje: (1987)
DATASEM '87 /
Autor: Šturc, Ján
Vydavateľské údaje: (1987)
Autor: Šturc, Ján
Vydavateľské údaje: (1987)
BAUBEDARF '87 /
Autor: Hirche, Walter
Vydavateľské údaje: (1987)
Autor: Hirche, Walter
Vydavateľské údaje: (1987)
Interkom '87 /
Autor: Kratochvíl, Egon
Vydavateľské údaje: (1987)
Autor: Kratochvíl, Egon
Vydavateľské údaje: (1987)
MEACO '87 /
Autor: Brabec, František 1905-1992
Vydavateľské údaje: (1987)
Autor: Brabec, František 1905-1992
Vydavateľské údaje: (1987)