Výsledky vyhledávání - "Lecture Notes in Computer Science ;"

1

Axiomatising the Logic of Computer Programming /

Autor Goldblatt, Robert, 1949-
Vydáno 1982

“...Lecture notes in computer science ;...”

Kniha

2

From logic design to logic programming : theorem proving techniques and P-functions /

Autor Snyers, Dominique, Thayse, André, 1940-
Vydáno 1987

“...Lecture notes in computer science ;...”

Kniha

3

Logics for concurrency : structure versus automata /

Vydáno 1996

“...Lecture notes in computer science ;...”

Kniha

4

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

Vydáno 2008

“...Lecture notes in computer science ;...”

Kniha

5

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

Vydáno 2008

“...Lecture notes in computer science ;...”

Kniha

6

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

Vydáno 2006

“...Lecture notes in computer science ;...”

Kniha

7

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

“...Lecture notes in computer science ;...”

Kniha

8

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

Vydáno 2007

“...Lecture notes in computer science ;...”

Kniha

9

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

Vydáno 2006

“...Lecture notes in computer science ;...”

Kniha

10

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

Vydáno 2008

“...Lecture notes in computer science ;...”

Kniha

11

Complexity of constraints : an overview of current research themes /

Vydáno 2008

“...Lecture notes in computer science ;...”

Kniha

12

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

Vydáno 2007

“...Lecture notes in computer science ;...”

Kniha

13

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

Vydáno 2006

“...Lecture notes in computer science ;...”

Kniha

14

Foundations of inductive logic programming /

Autor Nienhuys-Cheng, Shan-Hwei, Wolf, Ronald de
Vydáno 1997

“...Lecture notes in computer science...”

Kniha

15

Probabilistic inductive logic programming : theory and applications /

Vydáno 2008

“...Lecture notes in computer science. Lecture notes in artificial intelligence ;...”

Kniha

16

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

Vydáno 2007

“...Lecture notes in computer science. Lecture notes in artificial intelligence ;...”

Kniha

17

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

Vydáno 2008

“...Lecture notes in computer science. Lecture notes in artificial intelligence ;...”

Kniha

18

Logic for programmming artificial intelligence, and reasoning : 15th International Conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings /

Vydáno 2008

“...Lecture notes in computer science. Lecture notes in artificial intelligence ;...”

Kniha

19

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

Vydáno 2006

“...Lecture notes in computer science...”

Kniha

20

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

“...Lecture notes in computer science. Lecture notes in artificial intelligence ;...”

Kniha

Upřesnit hledání