Home Advanced Search

Advanced Search - Page 1

Introduction to Operating System Design and Implementation: The Osp 2 Approach
  • PDF
  • English
  • Year: 2007
  • Author: Michael Kifer, Scott Smolka
Declarative Logic Programming: Theory, Systems, and Applications
  • PDF
  • English
  • Year: 2018
  • Author: Michael Kifer and Yanhong Annie Liu
Declarative Logic Programming: Theory, Systems, and Applications
  • PDF
  • English
  • Year: 2018
  • Author: Michael Kifer and Yanhong Annie Liu
Interactive Computation: The New Paradigm
  • PDF
  • English
  • Year: 2006
  • Author: Dina Goldin, Scott A. Smolka, Peter Wegner
CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.)
Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers
  • DJVU
  • English
  • Year: 1998
  • Author: Anthony J. Bonner, Michael Kifer (auth.), Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.)
Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)
Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)
Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)
Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael Kifer (auth.), Diego Calvanese, Georg Lausen (eds.)
search