MPG.eBooks - Search Results - "logic programming"

Cover Image

1

Logic Programming...

by Voronkov, A.
Published 1992

Springer

Cover Image

2

Logic Programming '88 : Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988

by Fujisaki, Tetsunosuke
Published 1989

Springer

Cover Image

3

Extensions of Logic Programming : International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

by Schroeder-Heister, Peter
Published 1991

Springer

Cover Image

4

Extensions of Logic Programming : Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings

by Eriksson, L.
Published 1992

Springer

Cover Image

5

Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings

by Kirchner, Hélène
Published 1992

Springer

Cover Image

6

Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings

by Kirchner, Hélène
Published 1990

Springer

Cover Image

7

Algebraic and Logic Programming : 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

by Hanus, Michael
Published 1996

Springer

Cover Image

8

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

by Wada, Eiiti
Published 1986

Springer

Cover Image

9

Algebraic and Logic Programming : International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings

by Grabowski, J.
Published 1988

Springer

Cover Image

10

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings

by Dyckhoff, Roy
Published 1994

Springer

Cover Image

11

Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12–14, 1989

by Fujisaki, Tetsunosuke
Published 1991

Springer

Cover Image

12

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings

by Comyn, G.
Published 1992

Springer

Cover Image

13

Extensions of Logic Programming : Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings

by Lamma, E.
Published 1993

Springer

Cover Image

14

Logic Programming '86 : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986

by Wada, Eiiti
Published 1987

Springer

Cover Image

15

Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987

by Fujisaki, Tetsunosuke
Published 1988

Springer

Cover Image

16

Algebraic and Logic Programming : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

by Levi, Giorgio
Published 1994

Springer

Cover Image

17

Extensions of Logic Programming : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

by Dyckhoff, Roy
Published 1996

Springer

Cover Image

18

Reasoning with Logic Programming

by Alferes, José
Published 1996

Springer

Cover Image

19

Foundations of Equational Logic Programming

by Hölldobler, Steffen
Published 1989

Springer

Cover Image

20

Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

by Voronkov, Andrei
Published 1992

Springer

1
2