Výsledky vyhledávání - "programování"

1

Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings /

Vydáno 2006

Témata: '; “...logické programování...”

Kniha

2

Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 : Rocquencourt, France, June 7-8, 2007 : revised selected papers /

Vydáno 2008

Témata: '; “...logické programování...”

Kniha

3

New Reordering Register Allocation Strategy for Warren Abstract Machine

Autor Jergová, Adriana
Vydáno 1992

Témata: '; “...Programování. Software...”

VŠ práce nebo rukopis

4

Logic programming and nonmonotonic reasoning : 9th International Conference, LPNMR 2007 : Tempe, AZ, USA, May 15-17, 2007 : proceedings /

Autor Baral, Chitta, 1966-
Vydáno 2007

Témata: '; “...logické programování...”

Kniha

5

All about Maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic /

Autor Clavel, Manuel, 1969-
Vydáno 2007

Témata: '; “...logické programování...”

Kniha

6

Logic programming : 23rd International Conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings /

Vydáno 2007

Témata: '; “...logické programování...”

Kniha

7

Logic-based program synthesis and transformation : 17th International Symposium, LOPSTR 2007 : Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /

Vydáno 2008

Témata: '; “...logické programování...”

Kniha

8

Functional and logic programming : 9th International Symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings /

Vydáno 2008

Témata: '; “...logické programování...”

Kniha

9

Automated reasoning : 4th International Joint Conference, IJCAR 2008 : Sydney, Australia, August 12-15, 2008 : proceedings /

Vydáno 2008

Témata: '; “...logické programování...”

Kniha

10

Logic programming : 22th International Conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings /

Vydáno 2006

Témata: '; “...logické programování...”

Kniha

11

Handbook of constraint programming /

Vydáno 2006

Témata: '; “...logické programování...”

Kniha

12

Logic programming : 24th International Conference, ICLP 2008 : Udine, Italy, December 9-13, 2008 : proceedings /

Vydáno 2008

Témata: '; “...logické programování...”

Kniha

13

Complexity of constraints : an overview of current research themes /

Vydáno 2008

Témata: '; “...logické programování...”

Kniha

14

Constraint handling rules : current research topics /

Vydáno 2008

Témata: '; “...logické programování...”

Kniha

15

Logic-based program synthesis and transformation : 16th International Workshop, LOPSTR 2006 : Venice, Italy, July 12-14, 2006 : revised selected papers /

Vydáno 2007

Témata: '; “...logické programování...”

Kniha

16

Operational Semantic of Prolog Semantics of WAM

Autor Toman, David
Vydáno 1992

Témata: '; “...Programování. Software...”

VŠ práce nebo rukopis

17

Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

Vydáno 2006

Témata: '; “...logické programování...”

Kniha

18

The Haskell road to logic, maths and programming /

Autor Doets, Kees, 1941-
Vydáno 2004

Témata: '; “...logické programování...”

Kniha

19

Logic for programmming artificial intelligence, and reasoning : 14th International Conference, LPAR 2007 : Yerevan, Armenia, October 15-19, 2007 : proceedings /

Vydáno 2007

Témata: '; “...logické programování...”

Kniha

20

Logic for programming, artificial intelligence, and reasoning : 13th International Conference, LPAR 2006 : Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /

Vydáno 2006

Témata: '; “...logické programování...”

Kniha

Upřesnit hledání