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, January 2001
@book{H2001,
  author    = {Steffen H{\"{o}}lldobler},
  title     = {Logik und Logikprogrammierung},
  publisher = {Synchron Publishers {GmbH}},
  year      = {2001},
  month     = {January}
}