Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 1 of 1 on B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change....
" B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, pages 356-387. "
Knowledge in Action: Logical Foundations for Specifying and Implementing ... - Page 418
by Raymond Reiter - 2001 - 448 pages
Limited preview - About this book

Transactions and Change in Logic Databases: International Seminar on Logic ...

Burkhard Freitag - Computers - 1998 - 396 pages
...'96), Bonn, Germany, pages 142-156, 1996. 7. AJ Bonner and M. Kifer. The state of change: A survey. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov,...editors, Transactions and Change in Logic Databases, volume 1472 of LNCS, pages 1-36. Springer-Verlag, Berlin, Germany, 1998. 8. W. Chen. Declarative updates...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search