Sign inJoin Literal
Authors

Author

R. Kowalski

Books

5th Conference on Automated Deduction
5th Conference on Automated Deduction
Wolfgang Bibel, R. Kowalski
R. Kowalski
Logic Programming in the Fifth Generation
Logic Programming in the Fifth Generation
R. Kowalski

Your next favorite book is out there

Track your reading, share the passages worth remembering, and get recommendations from people you trust — not algorithms. Independent, free, and no ads.

Download on the App Store
... or sign up right here
Company
  • Press
  • Legal
  • Privacy
  • Terms
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • Become a supporter
  • Guides
  • API
  • Contact
App
  • iPhone app
  • Android coming soon
  • Changelog