Deduktion: Automatisierung Der Logik (Handbuch Der Informatik, #6.2)

by Wolfgang Bibel

Steffen Hoelldobler, Gerd Neugebauer, Steffen Hölldobler, and Steffen H�lldobler

0 ratings • 0 reviews • 0 shelved
Book cover for Deduktion
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 311070112X
  • ISBN13 9783110701128
  • Publish Date 12 October 2020
  • Publish Status Active
  • Publish Country DE
  • Publisher De Gruyter
  • Imprint Walter de Gruyter & Co
  • Edition Reprint 2020 ed.
  • Format eBook
  • Pages 269
  • Language German