Lecture Notes in Artificial Intelligence
Collection
Collection
- ISSN: 0302-9743
Published by Springer
-
January 1995
-
January 1996 -
Preface: The logic programming paradigm: a 25-year perspective 1999 Preface
K.R. Apt (Krzysztof), V.M. Marek, M. Truszczynski (Miroslaw) and D.S. Warren
January 1999
-
Formulas as programs Book Chapter
January 1999 -
January 2000
-
New trends in constraints : joint ERCIM/Compulog net workshop [the workshop was the third in a row in a series of joint annual workshops (1999) Book
K.R. Apt (Krzysztof), A.C. Kakas, E.B.G. Monfroy and F. Rossi
January 2000 -
January 2000
-
Equational binary decision diagrams In Proceedings
January 2000