Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Další autoři: | , |
| Médium: | Konferenční příspěvek Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
1996
|
| Vydání: | [1st ed.] |
| Edice: | Lecture notes in computer science
Vol. 1139 |
| Témata: | |
| ISBN: | 3540617353 |
| ISSN: | 0302-9743 |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
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)
Formal semantics of programming languages /
Vydáno: (1972)
Vydáno: (1972)
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)
Algebraic topology /
Autor: Maunder, C. R. F.
Vydáno: (1970)
Autor: Maunder, C. R. F.
Vydáno: (1970)
Solution bounds for algebraic equations in control theory /
Autor: Savov, Svetoslav
Vydáno: (2014)
Autor: Savov, Svetoslav
Vydáno: (2014)
Elements of functional programming /
Autor: Reade, Chris
Vydáno: (1993)
Autor: Reade, Chris
Vydáno: (1993)
Formal foundations of correct programming /
Autor: Novitzká, Valerie
Vydáno: (1999)
Autor: Novitzká, Valerie
Vydáno: (1999)
The anatomy of programming languages /
Autor: Fischer, Alice E.
Vydáno: (1993)
Autor: Fischer, Alice E.
Vydáno: (1993)
Probabilistic process algebra /
Autor: Andova, Suzana
Vydáno: (2002)
Autor: Andova, Suzana
Vydáno: (2002)
Semantics, around and beyond : an introductory course /
Autor: Kavka, Stanislav J. 1946-
Vydáno: (2015)
Autor: Kavka, Stanislav J. 1946-
Vydáno: (2015)
Functional programming and input/output /
Autor: Gordon, Andrew D., 1964-
Vydáno: (2008)
Autor: Gordon, Andrew D., 1964-
Vydáno: (2008)
Algebraic theory of automata /
Autor: Gécseg, F., a další
Vydáno: (1972)
Autor: Gécseg, F., a další
Vydáno: (1972)
Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
Autor: Melham, Thomas F.
Vydáno: (1993)
Autor: Melham, Thomas F.
Vydáno: (1993)
Vybrané kapitoly zo sémantiky /
Autor: Zázrivcová, Monika
Vydáno: (2011)
Autor: Zázrivcová, Monika
Vydáno: (2011)
Problémy sémantiky /
Autor: Tondl, Ladislav 1924-
Vydáno: (1966)
Autor: Tondl, Ladislav 1924-
Vydáno: (1966)
Deravá filozofia, deravá ekonómia : dva pojmy - dva problémy ; filozofická, sémantická analýza pojmov filozofia a ekonómia /
Autor: Špakovský, Viktor
Vydáno: (2008)
Autor: Špakovský, Viktor
Vydáno: (2008)
Topics in computational algebra /
Autor: Kac, V. G.
Vydáno: (1990)
Autor: Kac, V. G.
Vydáno: (1990)
Three specialized computer architectures for functional program execution /
Autor: Vasell, Jonas
Vydáno: (1992)
Autor: Vasell, Jonas
Vydáno: (1992)
Logical design of switching circuits /
Autor: Lewin, Douglas
Vydáno: (1969)
Autor: Lewin, Douglas
Vydáno: (1969)
ALGEBRAIC AND LOGIC PROGRAMMING /
Autor: Bergstra, J. A.
Vydáno: (1988)
Autor: Bergstra, J. A.
Vydáno: (1988)
C++ programming : from problem analysis to program design /
Autor: Malik, D. S.
Vydáno: (2007)
Autor: Malik, D. S.
Vydáno: (2007)
Automated deduction in equational logic and cubic curves /
Autor: Maccune, William
Vydáno: (1996)
Autor: Maccune, William
Vydáno: (1996)
Introduction to the logical design of switching systems /
Autor: Torng, H. C.
Vydáno: (1964)
Autor: Torng, H. C.
Vydáno: (1964)
Research topics in functional programming /
Autor: Turner, David A.
Vydáno: (1990)
Autor: Turner, David A.
Vydáno: (1990)
Medzi sémantikou a epistemológiou jazyka /
Autor: Zouhar, Marián
Vydáno: (2010)
Autor: Zouhar, Marián
Vydáno: (2010)
Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente /
Autor: Böhm, Klemens
Vydáno: (1997)
Autor: Böhm, Klemens
Vydáno: (1997)
Algebraic theory of machines, languages, and semigroups /
Vydáno: (1968)
Vydáno: (1968)
Algebra /
Autor: Nagy, Jozef 1932-
Vydáno: (1997)
Autor: Nagy, Jozef 1932-
Vydáno: (1997)
STACS 93 : Proceedings, Würzburg, Germany, Febr. 25 - 27, 1993 /
Autor: Castellani, Ilaria
Vydáno: (1993)
Autor: Castellani, Ilaria
Vydáno: (1993)
Algebra a geometrie /
Autor: Karásek, Jiří
Vydáno: (2001)
Autor: Karásek, Jiří
Vydáno: (2001)
Metóda konečných prvkov /
Autor: Slodička, Marián
Vydáno: (2001)
Autor: Slodička, Marián
Vydáno: (2001)
Tools and algorithms for the construction and analysis of systems : Proceedings, Passau, Germany, March 27 - 29, 1996 /
Autor: Margaria, Tiziana
Vydáno: (1996)
Autor: Margaria, Tiziana
Vydáno: (1996)
Vzťahy synonymie : logická sémantika verzus lingvistické teórie o synonymii /
Autor: Geistová Čakovská, Barbora
Vydáno: (2010)
Autor: Geistová Čakovská, Barbora
Vydáno: (2010)
Mondattani - szémantikai tanulmányok /
Autor: Kiefer, Ferenc
Vydáno: (1970)
Autor: Kiefer, Ferenc
Vydáno: (1970)
Algebra a jej inžinierske aplikácie /
Autor: Palúch, Stanislav
Vydáno: (2009)
Autor: Palúch, Stanislav
Vydáno: (2009)
Petriho sítě. Úvod do teorie a nástrojů pro aplikaci Petriho sítí /
Autor: Češka, Milan 1946-
Vydáno: (1994)
Autor: Češka, Milan 1946-
Vydáno: (1994)