Logik und Logikprogrammierung

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Logik und Logikprogrammierung

Steffen HölldoblerSteffen Hölldobler
Logik und Logikprogrammierung


Steffen Hölldobler
Logik und Logikprogrammierung
Synchron Publishers GmbH, second, extended edition, December 2001
@book{H2001,
  author    = {Steffen H{\"{o}}lldobler},
  title     = {Logik und Logikprogrammierung},
  edition   = {second, extended},
  publisher = {Synchron Publishers {GmbH}},
  year      = {2001},
  month     = {December}
}