Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353)
Aus International Center for Computational Logic
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}
}