Home Advanced Search

Advanced Search - Page 1

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)
Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)
Principles and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Joxan Jaffar, Roland H. C. Yap (auth.), Michael Maher, Jean-Francois Puget (eds.)
Logics in Artificial Intelligence: European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Marc Denecker (auth.), Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.)
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987
  • PDF
  • English
  • Year: 1988
  • Author: Joxan Jaffar, Jean-Louis Lassez (auth.), Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (eds.)
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987
  • DJVU
  • English
  • Year: 1988
  • Author: Joxan Jaffar, Jean-Louis Lassez (auth.), Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (eds.)
Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)
Hybrid Systems
  • PDF
  • English
  • Year: 1993
  • Author: R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)
Hybrid Systems
  • DJVU
  • English
  • Year: 1993
  • Author: R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)