Book3013: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Book |Title=Foundations of Equational Logic Programming (Lecture N…“) |
Serge Stratan (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 4: | Zeile 4: | ||
}} | }} | ||
{{Book | {{Book | ||
|Buch oder Collection=Buch | |||
|Title=Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353) | |Title=Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353) | ||
|To appear=0 | |To appear=0 |
Aktuelle Version vom 22. November 2016, 22:57 Uhr
Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353)
Steffen HölldoblerSteffen Hölldobler

- ISBN: ISBN-13: 978-0387515335
Steffen Hölldobler
Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353)
Springer Verlag, 1989
Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353)
Springer Verlag, 1989
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@book{H1989,
author = {Steffen H{\"{o}}lldobler},
title = {Foundations of Equational Logic Programming (Lecture Notes in
Artificial Intelligence, Vol. 353)},
publisher = {Springer Verlag},
year = {1989}
}