Keresési eredmények

1

Prolog : The standard : Reference manual

Prolog : The standard : Reference manual

Szerző: Deransart, Pierre
Megjelenés: 1996

könyv

2

Warren 's abstract machine : A tutorial reconstruction

Warren 's abstract machine : A tutorial reconstruction

Szerző: Ait-Kaci, Hassan (1954-)
Megjelenés: 1991

könyv

3

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

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

Szerző: Snyers, Dominique (1959-)
Megjelenés: 1987

könyv

4

Logic programming and knowledge engineering

Logic programming and knowledge engineering

Szerző: Amble, Tore (1945-)
Megjelenés: 1987

könyv

5

Foundations of logic programming

Foundations of logic programming

Szerző: Lloyd, John Wylie (1947-)
Megjelenés: 1987

könyv

6

Constraint satisfaction in logic programming

Constraint satisfaction in logic programming

Szerző: Van Hentenryck, Pascal
Megjelenés: 1989

könyv

7

Parallel execution of logic programs : ICLP'91 Pre-Conference Workshop, Paris, June 1991 : proceedings

Parallel execution of logic programs : ICLP'91 Pre-Conference Workshop, Paris, June 1991 : proceedings

Megjelenés: 1991

könyv

8

Non-monotonic extensions of logic programming : ICLP '94 Workshop Santa Margherita Ligure, Italy, June 1994 : selected papers

Non-monotonic extensions of logic programming : ICLP '94 Workshop Santa Margherita Ligure, Italy, June 1994 : selected papers

Megjelenés: 1995

könyv

9

Advances in Petri nets 1993 : Proceedings

Advances in Petri nets 1993 : Proceedings

Megjelenés: 1993

könyv

10

Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 2004 : Proceedings

Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 2004 : Proceedings

Megjelenés: 2004

könyv

11

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 2001 : Proceedings

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 2001 : Proceedings

Megjelenés: 2001

könyv

12

Logic programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 1986

Logic programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 1986

Megjelenés: 1987

könyv

13

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July/August 2002 : Proceedings

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July/August 2002 : Proceedings

Megjelenés: 2002

könyv

14

Third International Conference on Logic Programming : London, United Kingdom, July 1986 : Proceedings

Third International Conference on Logic Programming : London, United Kingdom, July 1986 : Proceedings

Megjelenés: 1986

könyv

15

Logic Programming '85 : Proceedings of the 4th Conference, Tokyo, Japan, July 1985

Logic Programming '85 : Proceedings of the 4th Conference, Tokyo, Japan, July 1985

Megjelenés: 1986

könyv

16

Logičeskoe programmirovanie v zanimatel'nyh zadačah

Logičeskoe programmirovanie v zanimatel'nyh zadačah

Szerző: Kasatkin, Valentin Nikolaevič (1926-1998)
Megjelenés: 1980

könyv

17

Algebraic and logic programming : Second international conference, Nancy, France, October 1-3, 1990 : Proceedings

Algebraic and logic programming : Second international conference, Nancy, France, October 1-3, 1990 : Proceedings

Megjelenés: 1990

könyv

18

Natural language understanding and logic programming : Proceedings of the first International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 september, 1984

Natural language understanding and logic programming : Proceedings of the first International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-2...

Megjelenés: 1986

könyv

19

Functional logic programming : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 1999 : Proceedings

Functional logic programming : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 1999 : Proceedings

Megjelenés: 1999

könyv

20

Functional and logic programming : 6th International Symposium, FLOPS 2002 Aizu, Japan, September 2002 : Proceedings

Functional and logic programming : 6th International Symposium, FLOPS 2002 Aizu, Japan, September 2002 : Proceedings

Megjelenés: 2002

könyv